Advanced topics in bisimulation and coinduction
Sangiorgi, Davide
1964-
Rutten, Johannes Josephus Martinus Matheus
1959-
text
bibliography
enk
Cambridge
New York
Cambridge University
2012
monographic
eng
xiii, 326 p. : il. ; 24 cm.
Machine generated contents note: Preface; List of contributors; 1. Origins of bisimulation and coinduction Davide Sangiorgi; 2. An introduction to (co)algebra and (co)induction Bart Jacobs and Jan Rutten; 3. The algorithmics of bisimilarity Luca Aceto, Anna Ingolfsdottir and Jiři; Srba; 4. Bisimulation and logic Colin Stirling; 5. Howe's method for higher-order languages Andrew Pitts; 6. Enhancements of the bisimulation proof method Damien Pous and Davide Sangiorgi; 7. Probabilistic bisimulation Prakash Panangaden.
edited by Davide Sangiorgi, Jan Rutten.
Incluye referencias bibliográficas e índice.
Ciencia y Técnica de Edwin Ventura Oscanova ;
Logics and meanings of programs
Mathematical logic
Formal languages
Probability and statistics
Computing methodologies
Cambridge tracts in theoretical computer science ; 52
9781107004979
DLC
110629
20220302150237.0