This paper may be seen as proposing a tentative synthesis of various models of parallelism: we establish representation results for three kinds of Models for Distributed Systems, Labelled Transition Systems, Labelled Event Structures and Distributed Languages. For that purpose, we introduce a new representation model for concurrent systems, the Distributed Languages. Based on Words and Equivalence Relations, they are generalizations of the Trace Languages and model the behaviour of any asynchronous concurrent system.
CITATION STYLE
Rozoy, B. (1990). On distributed languages and models for distributed computation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 469 LNCS, pp. 434–456). Springer Verlag. https://doi.org/10.1007/3-540-53479-2_19
Mendeley helps you to discover research relevant for your work.