Homomorphic Reduction of Coordination Analysis
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Compositional minimization of finite state systemsPublished by Springer Nature ,2005
- Exact and heuristic algorithms for the minimization of incompletely specified state machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A unified approach for showing language inclusion and equivalence between various types of ω-automataInformation Processing Letters, 1993
- Compositional checking of satisfactionFormal Methods in System Design, 1992
- Software for Analytical Development of Communications ProtocolsAT&T Technical Journal, 1990
- Analysis of discrete event coordinationPublished by Springer Nature ,1990
- Complementing deterministic Büchi automata in polynomial timeJournal of Computer and System Sciences, 1987
- Theories of automata on ω-tapes: A simplified approachJournal of Computer and System Sciences, 1974
- Describing an algorithm by HopcroftActa Informatica, 1973
- AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATONPublished by Elsevier ,1971