@inproceedings{25a4bbab684b4f32a9c7e1fffe978f11,
title = "The failure of failures in a paradigm for asynchronous communication",
abstract = "We develop a general framework for a variety of concurrent languages all based on asynchronous communication, like data flow, concurrent logic, concurrent constraint languages and CSP with asynchronous channels. The main characteristic of these languages is that processes interact by reading and modifying the state of some common data structure. We abstract from the specific features of the various communication mechanisms by means of a uniform language where actions are interpreted as partially denned transformations on an abstract set of states. Suspension is modelled by an action being undefined in a state. The languages listed above can be seen as instances of our paradigm, and can be obtained by fixing a specific set of states and interpretation of the actions. The computational model of our paradigm is described by a transition system in the style of Plotkin{\textquoteright}s SOS. A compositional model is presented that is based on traces (of pairs of states). This sharply contrasts with the synchronous case, where some additional branching information is needed to describe deadlock. In particular, we show that our model is more abstract than the standard failure set semantics (that is known to be fully abstract for the classical synchronous paradigms). We also investigate the problem of full abstraction, with respect to various observation criteria. To tackle this problem, we have to consider the particular features of the specific languages. We study some cases, for which we give a fully abstract semantics.",
author = "\{de Boer\}, \{F. S.\} and Kok, \{J. N.\} and C. Palamidessi and Rutten, \{J. J.M.M.\}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1991.; 2nd International Conference on Concurrency Theory, CONCUR 1991 ; Conference date: 26-08-1991 Through 29-08-1991",
year = "1991",
month = jan,
day = "1",
doi = "10.1007/3-540-54430-5\_84",
language = "English",
isbn = "9783540544302",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "111--126",
editor = "Baeten, \{Jos C.M.\} and Baeten, \{Jos C.M.\} and Groote, \{Jan Frisco\}",
booktitle = "CONCUR 1991 - 2nd International Conference on Concurrency Theory, Proceedings",
}