Minimal state graph generation
- 30 June 1992
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 18 (3), 247-269
- https://doi.org/10.1016/0167-6423(92)90018-7
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Generating efficient code from data-flow programsLecture Notes in Computer Science, 1991
- An implementation of an efficient algorithm for bisimulation equivalenceScience of Computer Programming, 1990
- Three Partition Refinement AlgorithmsSIAM Journal on Computing, 1987
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- CCS expressions, finite state processes, and three problems of equivalencePublished by Association for Computing Machinery (ACM) ,1983
- A unified approach for studying the properties of transition systemsTheoretical Computer Science, 1982