Loading...
Loading...

Go to the content (press return)

Compatibility in a multi-component environment

Author
Carmona, J.; Kleijn, J.
Type of activity
Journal article
Journal
Theoretical computer science
Date of publication
2013-05-06
Volume
484
First page
1
Last page
15
DOI
https://doi.org/10.1016/j.tcs.2013.03.006 Open in new window
Abstract
A distributed environment where many components interact may be functioning in a suboptimal manner due to two main factors: message loss and deadlocks. Message loss occurs when a component is not ready to receive as input a message sent to it. In the case of a deadlock, a system is indefinitely waiting for a message that never arrives. In Carmona and Cortadella (2002) [12] a theory has been presented for characterizing when a pair of systems is compatible in the sense that they can engage in a d...
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants