On the semantics of μ Log
- 30 April 1994
- journal article
- Published by Elsevier in Future Generation Computer Systems
- Vol. 10 (1) , 93-135
- https://doi.org/10.1016/0167-739x(94)90053-1
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- The concurrent language, Shared PrologACM Transactions on Programming Languages and Systems, 1991
- Solving reflexive domain equations in a category of complete metric spacesJournal of Computer and System Sciences, 1989
- Concurrent histories: A basis for observing distributed systemsJournal of Computer and System Sciences, 1987
- Guarded horn clausesPublished by Springer Nature ,1986
- Generative communication in LindaACM Transactions on Programming Languages and Systems, 1985
- Processes and the denotational semantics of concurrencyInformation and Control, 1982