On distributed languages and models for distributed computation
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 434-456
- https://doi.org/10.1007/3-540-53479-2_19
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A language theoretic approach to serialization problem in concurrent systemsPublished by Springer Nature ,2006
- Traces, histories, graphs: Instances of a process monoidPublished by Springer Nature ,2005
- Behaviour of Elementary Net SystemsPublished by Springer Nature ,1987
- Petri nets: Basic notions, structure, behaviourPublished by Springer Nature ,1986
- Automates et commutations partiellesRAIRO. Informatique théorique, 1985
- Traces and semiwordsPublished by Springer Nature ,1985
- Semantics of concurrent systems: A modular fixed-point trace approachPublished by Springer Nature ,1985
- Concurrent MachinesThe Computer Journal, 1985
- A unified approach for studying the properties of transition systemsTheoretical Computer Science, 1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981