Theory of Timed I/o Automata, Second EditionDilsun Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager · First published 2010Open the Tome
The theory of timed I/O automataDilsun K. Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager · First published 2006Open the Tome
Process Algebra and Probabilistic Methods : Performance Modeling and VerificationHolger Hermanns, Roberto Segala · First published 2003Open the Tome
