Minimizing the number of transitions with respect to observation equivalence
- 1 December 1991
- journal article
- Published by Springer Nature in BIT Numerical Mathematics
- Vol. 31 (4) , 576-590
- https://doi.org/10.1007/bf01933173
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A context dependent equivalence between processesPublished by Springer Nature ,2005
- An implementation of an efficient algorithm for bisimulation equivalenceScience of Computer Programming, 1990
- The concurrency workbenchPublished by Springer Nature ,1990
- Three Partition Refinement AlgorithmsSIAM Journal on Computing, 1987
- Extensional equivalences for transition systemsActa Informatica, 1987
- Modeling physical layer protocols using communicating finite state machinesACM SIGCOMM Computer Communication Review, 1985
- An improved failures model for communicating processesPublished by Springer Nature ,1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Formal verification of parallel programsCommunications of the ACM, 1976
- Computer Systems: Reliable full-duplex file transmission over half-duplex telephone lineCommunications of the ACM, 1968