Reactive systems : modelling, specification and verification /
Luca Aceto ... [et al.].
- Cambridge ; New York : Cambridge University, 2007.
- xvi, 284 p. : il. ; 26 cm.
Incluye referencias bibliográficas (p. 267-279) e índice.
9780521875462
Sistemas distribuídos. Lógica y significado de programas. Organización y diseño. Modos de computación. Distributed systems. Logics and meanings of programs. Organization and design. Modes of computation.