Step semantics for “true” concurrency with recursion
- 1 September 1989
- journal article
- Published by Springer Nature in Distributed Computing
- Vol. 3 (3), 130-145
- https://doi.org/10.1007/bf01784023
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Testing equivalences for event structuresPublished by Springer Nature ,1987
- CCS is an (augmented) contact free C/E systemPublished by Springer Nature ,1987
- Petri net models for algebraic theories of concurrencyLecture Notes in Computer Science, 1987
- CCS without τ'sLecture Notes in Computer Science, 1987
- On the semantics of concurrency: Partial orders and transition systemsLecture Notes in Computer Science, 1987
- A theory for nondeterminism, parallelism, communication, and concurrencyTheoretical Computer Science, 1986
- Process algebra for synchronous communicationInformation and Control, 1984
- A continuous semantics for unbounded nondeterminismTheoretical Computer Science, 1983
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Semantics of nondeterminism, concurrency, and communicationJournal of Computer and System Sciences, 1979