Canonical finite state machines for distributed systems
From MaRDI portal
Publication:1044846
DOI10.1016/j.tcs.2009.09.039zbMath1186.68042MaRDI QIDQ1044846
Publication date: 15 December 2009
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2009.09.039
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- On state reduction of incompletely specified finite state machines
- The synchronization problem in protocol testing and its complexity
- Coordination algorithm for distributed testing
- On the testability of SDL specifications
- Checking sequences for distributed test architectures
- State Reduction in Incompletely Specified Finite-State Machines
- Formal Techniques for Networked and Distributed Systems – FORTE 2004