Models of Computation
| Main Authors: | , |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edition: | 1st ed. 2017. |
| Series: | Texts in Theoretical Computer Science. An EATCS Series,
|
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-319-42900-7 |
Table of Contents:
- 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).