On models and algebras for concurrent processes
- 23 November 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Processes of place/transition-netsPublished by Springer Nature ,2006
- The specification of process synchronization by path expressionsPublished by Springer Nature ,2005
- Adequate path expressionsPublished by Springer Nature ,2005
- Some equivalence notions for concurrent systems. An overviewPublished by Springer Nature ,2005
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- On structural properties of generalized processesPublished by Springer Nature ,1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- COSY ? a system specification language based on paths and processesActa Informatica, 1979