From CML to its process algebra
- 26 February 1996
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 155 (1) , 179-219
- https://doi.org/10.1016/0304-3975(95)00017-8
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Constraints for polymorphic behaviours of concurrent MLPublished by Springer Nature ,2005
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994
- A theory of bisimulation for the π-calculusPublished by Springer Nature ,1993
- A semantic basis for QuestJournal of Functional Programming, 1991
- A new type assignment for λ-termsArchive for Mathematical Logic, 1978