Structure of a LOTOS interpreter
- 1 August 1986
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 16 (3), 167-175
- https://doi.org/10.1145/18172.18192
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- A temporal ordering specification of some session servicesPublished by Association for Computing Machinery (ACM) ,1984
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980