Models of Computation
| Autores principales: | , |
|---|---|
| Autor Corporativo: | |
| Formato: | eBook |
| Lenguaje: | English |
| Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edición: | 1st ed. 2017. |
| Colección: | Texts in Theoretical Computer Science. An EATCS Series,
|
| Materias: | |
| Acceso en línea: | https://doi.org/10.1007/978-3-319-42900-7 |
Tabla de Contenidos:
- 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).