Models of Computation - Bruni, Roberto; Montanari, Ugo.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Preliminaries -- Operational Semantics of IMP -- Induction and Recursion -- Partial Orders and Fixpoints -- Denotational Semantics of IMP -- Operational Semantics of HOFL -- Domain Theory -- HOFL Denotational Semantics -- Equivalence Between HOFL Denotational and Operational Semantics -- Calculus for Communicating Systems (CCS) -- Temporal Logic and mu-Calculus -- Pi-Calculus -- Measure Theory and Markov Chains -- Markov Chains with Actions and Non-determinism -- Performance Evaluation Process Algebra (PEPA).
Keywords: Computers; Software engineering; Theory of Computation; Software Engineering/Programming and Operating Systems