On the analysis of cooperation and antagonism in networks of communicating processes
- 1 November 1988
- journal article
- Published by Springer Nature in Algorithmica
- Vol. 3 (1-4) , 421-450
- https://doi.org/10.1007/bf01762125
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- On the relationship of CCS and CSPPublished by Springer Nature ,2006
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- On Communicating Finite-State MachinesJournal of the ACM, 1983
- CCS expressions, finite state processes, and three problems of equivalencePublished by Association for Computing Machinery (ACM) ,1983
- Automatic verification of finite state concurrent system using temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1983
- A Theory for Protocol ValidationIEEE Transactions on Computers, 1982
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- The complexity of problems in systems of communicating sequential processesJournal of Computer and System Sciences, 1980
- Universal games of incomplete informationPublished by Association for Computing Machinery (ACM) ,1979