π-Calculus (English)
- New search for: Bruni, Roberto
- New search for: Montanari, Ugo
- New search for: Bruni, Roberto
- New search for: Montanari, Ugo
In:
Models of Computation
;
287-305
;
2017
-
ISSN:
- Article/Chapter (Book) / Electronic Resource
-
Title:π-Calculus
-
Contributors:Bruni, Roberto ( author ) / Montanari, Ugo ( author )
-
Published in:Models of Computation ; 287-305
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2017-01-01
-
Size:19 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
IntroductionBruni, Roberto / Montanari, Ugo et al. | 2017
- 33
-
PreliminariesBruni, Roberto / Montanari, Ugo et al. | 2017
- 53
-
Operational Semantics of IMPBruni, Roberto / Montanari, Ugo et al. | 2017
- 77
-
Induction and RecursionBruni, Roberto / Montanari, Ugo et al. | 2017
- 103
-
Partial Orders and FixpointsBruni, Roberto / Montanari, Ugo et al. | 2017
- 127
-
Denotational Semantics of IMPBruni, Roberto / Montanari, Ugo et al. | 2017
- 157
-
Operational Semantics of HOFLBruni, Roberto / Montanari, Ugo et al. | 2017
- 175
-
Domain TheoryBruni, Roberto / Montanari, Ugo et al. | 2017
- 191
-
Denotational Semantics of HOFLBruni, Roberto / Montanari, Ugo et al. | 2017
- 205
-
Equivalence Between HOFL Denotational and Operational SemanticsBruni, Roberto / Montanari, Ugo et al. | 2017
- 221
-
CCS, the Calculus of Communicating SystemsBruni, Roberto / Montanari, Ugo et al. | 2017
- 271
-
Temporal Logic and the μ-CalculusBruni, Roberto / Montanari, Ugo et al. | 2017
- 287
-
π-CalculusBruni, Roberto / Montanari, Ugo et al. | 2017
- 309
-
Measure Theory and Markov ChainsBruni, Roberto / Montanari, Ugo et al. | 2017
- 333
-
Discrete Time Markov Chains with Actions and NondeterminismBruni, Roberto / Montanari, Ugo et al. | 2017
- 343
-
PEPA - Performance Evaluation Process AlgebraBruni, Roberto / Montanari, Ugo et al. | 2017