Layering of real-time distributed processes
Janssen W.1; Poel M.1; Xu Q.2; Zwiers J.1
Source PublicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume863 LNCS
AbstractAn assertional proof system is proposed for a shared variable language extended with real-time constructs and synchronization, and a layering operator. The proof system is used to check real-time side conditions for an extended Communication Closed Layers rule. Reversely, this rule extends the scope of applicability of the proof system. The resulting system combines algebraic and assertional reasoning. A number of small examples are discussed.
URLView the original
Fulltext Access
Document TypeConference paper
CollectionUniversity of Macau
Affiliation1.University of Twente
2.Abo Akademi University
Recommended Citation
GB/T 7714
Janssen W.,Poel M.,Xu Q.,et al. Layering of real-time distributed processes[C],1994:393-417.
Related Services
Recommend this item
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Janssen W.]'s Articles
[Poel M.]'s Articles
[Xu Q.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Janssen W.]'s Articles
[Poel M.]'s Articles
[Xu Q.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Janssen W.]'s Articles
[Poel M.]'s Articles
[Xu Q.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.