- Record: found
- Abstract: not found
- Book Chapter: not found
CONCUR 2010 - Concurrency Theory
Learning I/O Automata
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references20
- Record: found
- Abstract: not found
- Article: not found
Principles and methods of testing finite state machines-a survey
M Yannakakis, D. Lee (1996)
- Record: found
- Abstract: not found
- Report: not found
SIP: Session Initiation Protocol
J. Rosenberg, H. Schulzrinne, G. Camarillo … (2002)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Hierarchical correctness proofs for distributed algorithms
Mark R. Tuttle, Nancy A. Lynch (1987)