Table of contents for Reactive systems : modelling, specification and verification / Luca Aceto ... [et al.].

Bibliographic record and links to related information available from the Library of Congress catalog

Information from electronic data provided by the publisher. May be incomplete or contain other coding.

Preface; Part I. A Classic Theory of Reactive Systems: 1. Introduction; 2. The language CCS; 3. Behavioural equivalences; 4. Theory of fixed points and bisimulation equivalence; 5. Hennessy-Milner logic; 6. Hennessy-Milner logic with recursive definitions; 7. Modelling and analysis of mutual exclusion algorithms; Part II. A Theory of Real-Time Systems: 8. Introduction; 9. CCS with time delays; 10. Timed automata; 11. Timed behavioural equivalences; 12. Hennessy-Milner logic with time; 13. Modelling and analysis of Fischer's algorithm; Appendix; Bibliography; Index.

Library of Congress subject headings for this publication:
Expert systems (Computer science) -- Validation.
Expert systems (Computer science) -- Verification.
System design -- Mathematical models.