Fully abstract models for a process language with refinement
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 523-548
- https://doi.org/10.1007/bfb0013034
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986