Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Ketil Stoelen 
Titel:
Refinement Principles Supporting the Transition from Asynchronous to Synchronous Communication 
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