Bisimulation of automata
- 1 October 1988
- journal article
- Published by Elsevier in Information and Computation
- Vol. 79 (1) , 60-83
- https://doi.org/10.1016/0890-5401(88)90017-x
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Fixed points in free process algebras, part ITheoretical Computer Science, 1989
- The inverse semigroup of a sum-ordered semiringSemigroup Forum, 1985
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Process algebra for synchronous communicationInformation and Control, 1984
- Machines in a Category: An Expository IntroductionSIAM Review, 1974
- An abstract machine theory for formal language parsersActa Informatica, 1974
- Realization is universalTheory of Computing Systems, 1972
- On modules over a semiringJournal of Algebra, 1970
- Categories of semimodules: The categorical structural properties of transition systemsTheory of Computing Systems, 1967