Un modèle asynchrone pour les systèmes distribués
- 31 December 1990
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 74 (2) , 121-162
- https://doi.org/10.1016/0304-3975(90)90134-4
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Automates et commutations partiellesRAIRO. Informatique théorique, 1985
- Languages infinitaires et produit de mixageTheoretical Computer Science, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Adherences of languagesJournal of Computer and System Sciences, 1980
- Communicating sequential processesCommunications of the ACM, 1978
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- Software Descriptions with Flow ExpressionsIEEE Transactions on Software Engineering, 1978