A complete inference system for a class of regular behaviours
- 1 June 1984
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 28 (3), 439-466
- https://doi.org/10.1016/0022-0000(84)90023-0
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Denotational semantics of concurrencyPublished by Association for Computing Machinery (ACM) ,1982
- A method to compare the descriptive power of different types of Petri netsDAIMI Report Series, 1980
- On observing nondeterminism and concurrencyLecture Notes in Computer Science, 1980
- Monadic Computation And Iterative Algebraic TheoriesPublished by Elsevier ,1975
- Two Complete Axiom Systems for the Algebra of Regular EventsJournal of the ACM, 1966