Testing equivalences for event structures
- 1 January 1987
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- On the semantics of concurrency: Partial orders and transition systemsLecture Notes in Computer Science, 1987
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Testing equivalences for processesTheoretical Computer Science, 1984
- Process algebra for synchronous communicationInformation and Control, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Event structure semantics for CCS and related languagesLecture Notes in Computer Science, 1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981