A game-theoretic modeling of concurrency
- 7 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Semantics for concurrency without powerdomainsPublished by Association for Computing Machinery (ACM) ,1987
- A theory for nondeterminism, parallelism, communication, and concurrencyTheoretical Computer Science, 1986
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Scenarios: A model of non-determinate computationPublished by Springer Nature ,1981
- Communicating sequential processesCommunications of the ACM, 1978
- Power domainsJournal of Computer and System Sciences, 1978
- A Powerdomain ConstructionSIAM Journal on Computing, 1976