Benutzer: Gast  Login
Titel:

Refinement Principles Supporting the Transition from Asynchronous to Synchronous Communication

Dokumenttyp:
Technical Report
Autor(en):
Ketil Stoelen
Abstract:
We present three refinement principles supporting the transition from system specifications based on (unbounded) asynchronous communication to system specifications based on (bounded) synchronous communication. We refer to these principles as partial, total and conditional refinement, respectively. We distinguish between two synchronization techniques, namely synchronization by hand-shake and synchronization by real-time constraints. Partial refinement supports synchronization by hand-shake with...     »
Stichworte:
Refinement; Boundedness Constraints; Compositionality
Jahr:
1995
Jahr / Monat:
1995-11-01 00:00:00
Seiten/Umfang:
35
 BibTeX