Pomset semantics for true concurrency with synchronization and recursion
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 360-369
- https://doi.org/10.1007/3-540-51486-4_83
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- The step failure semanticsPublished by Springer Nature ,2006
- Step semantics for “true” concurrency with recursionDistributed Computing, 1989
- Fully abstract models for a process language with refinementPublished by Springer Nature ,1989
- Concurrency and atomicityTheoretical Computer Science, 1988
- Applications of compactness in the Smyth powerdomain of streamsTheoretical Computer Science, 1988
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrencyJournal of Computer and System Sciences, 1988
- A theory for nondeterminism, parallelism, communication, and concurrencyTheoretical Computer Science, 1986
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- A continuous semantics for unbounded nondeterminismTheoretical Computer Science, 1983
- Power domainsJournal of Computer and System Sciences, 1978