Distributed state space minimization
- 7 June 2005
- journal article
- Published by Springer Science and Business Media LLC in International Journal on Software Tools for Technology Transfer
- Vol. 7 (3), 280-291
- https://doi.org/10.1007/s10009-004-0185-2
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Distributed On-the-Fly Equivalence CheckingElectronic Notes in Theoretical Computer Science, 2005
- A Distributed Algorithm for Strong Bisimulation Reduction of State SpacesElectronic Notes in Theoretical Computer Science, 2002
- Analysis of a distributed system for lifting trucksThe Journal of Logic and Algebraic Programming, 2002
- Distributed Symbolic Model Checking for μ-CalculusLecture Notes in Computer Science, 2001
- Distributed LTL model-checking in SPINLecture Notes in Computer Science, 2001
- Distributed-Memory Model Checking with SPINLecture Notes in Computer Science, 1999
- Specification and verification of various distributed leader election algorithms for unidirectional ring networksScience of Computer Programming, 1997
- Branching time and abstraction in bisimulation semanticsJournal of the ACM, 1996
- CCS expressions, finite state processes, and three problems of equivalencePublished by Association for Computing Machinery (ACM) ,1983
- AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATONPublished by Elsevier BV ,1971