1996
DOI: 10.1007/3-540-61604-7_87
|View full text |Cite
|
Sign up to set email alerts
|

Synchronous development of asynchronous systems

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
2

Citation Types

1
21
0

Year Published

2010
2010
2016
2016

Publication Types

Select...
4
1

Relationship

0
5

Authors

Journals

citations
Cited by 7 publications
(22 citation statements)
references
References 9 publications
1
21
0
Order By: Relevance
“…Now by enriching the transfer condition of branching bisimilarity (just like how the termination predicate is handled in the definition of branching bisimulation; see [16]) we ensure that an asynchronous system constructed from a desynchronisable synchronous system has the following communication property: "every sent message is eventually received". Note that this property was already present in the previous works [3,8,9] on desynchronisability; although, it was never made explicit with the respective equivalences studied previously. For instance, the communication property was called absence of computation interference in [9]; while, [3] used sender domination to satisfy the above property.…”
Section: Referencesmentioning
confidence: 84%
See 4 more Smart Citations
“…Now by enriching the transfer condition of branching bisimilarity (just like how the termination predicate is handled in the definition of branching bisimulation; see [16]) we ensure that an asynchronous system constructed from a desynchronisable synchronous system has the following communication property: "every sent message is eventually received". Note that this property was already present in the previous works [3,8,9] on desynchronisability; although, it was never made explicit with the respective equivalences studied previously. For instance, the communication property was called absence of computation interference in [9]; while, [3] used sender domination to satisfy the above property.…”
Section: Referencesmentioning
confidence: 84%
“…Buffers Equivalences Udding [9] Wires Trace equivalence Balemi [7] Queues Trace equivalence Fischer and Janssen [3] Bags Failure equivalence Beohar and Cuijpers [8] Bags Branching bisimulation Table 1: Buffers and equivalences studied previously in the context of desynchronisation.…”
Section: Referencesmentioning
confidence: 99%
See 3 more Smart Citations