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.


Counter
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.