Texts in Theoretical Computer Science. An EATCS Series - Models of Computation
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783319428987, 9783319429007

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

CCS, the Calculus of Communicating Systems

Texts in Theoretical Computer Science. An EATCS Series - Models of Computation ◽

10.1007/978-3-319-42900-7_11 ◽

2017 ◽

pp. 221-270

Author(s):

Roberto Bruni ◽

Ugo Montanari

Download Full-text

Measure Theory and Markov Chains

Texts in Theoretical Computer Science. An EATCS Series - Models of Computation ◽

10.1007/978-3-319-42900-7_14 ◽

2017 ◽

pp. 309-331

Author(s):

Roberto Bruni ◽

Ugo Montanari

Keyword(s):

Markov Chains ◽

Download Full-text

Denotational Semantics of HOFL

Texts in Theoretical Computer Science. An EATCS Series - Models of Computation ◽

10.1007/978-3-319-42900-7_9 ◽

2017 ◽

pp. 191-204

Author(s):

Roberto Bruni ◽

Ugo Montanari

Keyword(s):

Denotational Semantics

Download Full-text

Denotational Semantics of IMP

Texts in Theoretical Computer Science. An EATCS Series - Models of Computation ◽

10.1007/978-3-319-42900-7_6 ◽

2017 ◽

pp. 127-154

Author(s):

Roberto Bruni ◽

Ugo Montanari

Keyword(s):

Denotational Semantics

Download Full-text

PEPA - Performance Evaluation Process Algebra

Texts in Theoretical Computer Science. An EATCS Series - Models of Computation ◽

10.1007/978-3-319-42900-7_16 ◽

2017 ◽

pp. 343-356

Author(s):

Roberto Bruni ◽

Ugo Montanari

Keyword(s):

Performance Evaluation ◽

Process Algebra ◽

Evaluation Process

Download Full-text

Operational Semantics of HOFL

Texts in Theoretical Computer Science. An EATCS Series - Models of Computation ◽

10.1007/978-3-319-42900-7_7 ◽

2017 ◽

pp. 157-173

Author(s):

Roberto Bruni ◽

Ugo Montanari

Keyword(s):

Operational Semantics

Download Full-text

Partial Orders and Fixpoints

Texts in Theoretical Computer Science. An EATCS Series - Models of Computation ◽

10.1007/978-3-319-42900-7_5 ◽

2017 ◽

pp. 103-126

Author(s):

Roberto Bruni ◽

Ugo Montanari

Keyword(s):

Download Full-text

π-Calculus

Texts in Theoretical Computer Science. An EATCS Series - Models of Computation ◽

10.1007/978-3-319-42900-7_13 ◽

2017 ◽

pp. 287-305

Author(s):

Roberto Bruni ◽

Ugo Montanari

Keyword(s):

Download Full-text

Operational Semantics of IMP

Texts in Theoretical Computer Science. An EATCS Series - Models of Computation ◽

10.1007/978-3-319-42900-7_3 ◽

2017 ◽

pp. 53-76

Author(s):

Roberto Bruni ◽

Ugo Montanari

Keyword(s):

Operational Semantics

Download Full-text

Induction and Recursion

Texts in Theoretical Computer Science. An EATCS Series - Models of Computation ◽

10.1007/978-3-319-42900-7_4 ◽

2017 ◽

pp. 77-101

Author(s):

Roberto Bruni ◽

Ugo Montanari

Download Full-text