Abstract
The paper proposes a theoretical study of coordination languages. A language that embodies the essential features of coordination languages is considered. The language includes Linda's asynchronous communication primitives, as well as several composition operators. Computations in this language are described by means of an operational semantics, reporting the whole traces of executions. The non-compositionality of this intuitive operational semantics motivates the design of a compositional and fully abstract denotational semantics, can be exploited for studying program equivalence in this setting.
Cite
CITATION STYLE
Brogi, A., & Jacquet, J. M. (1997). Modeling coordination via asynchronous communication. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1282, pp. 238–255). Springer Verlag. https://doi.org/10.1007/3-540-63383-9_84
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
