The connection between an event structure semantics and an operational semantics forTCSP
- 1 January 1994
- journal article
- research article
- Published by Springer Nature in Acta Informatica
- Vol. 31 (1) , 81-104
- https://doi.org/10.1007/bf01178923
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- On the consistency of 'truly concurrent' operational and denotational semanticsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Four domains for concurrencyTheoretical Computer Science, 1991
- Metric pomset semantics for a concurrent language with recursionPublished by Springer Nature ,1990
- Permutation of transitions: An event structure semantics for CCS and SCCSPublished by Springer Nature ,1989
- A distributed operational semantics for CCS based on condition/event systemsActa Informatica, 1988
- On the semantics of concurrency: Partial orders and transition systemsPublished by Springer Nature ,1987
- Seminar on ConcurrencyPublished by Springer Nature ,1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Process algebra for synchronous communicationInformation and Control, 1984
- Processes and the denotational semantics of concurrencyInformation and Control, 1982