5570 results in Programming Languages and Applied Logic
Preface
-
- Book:
- Introduction to Bisimulation and Coinduction
- Published online:
- 05 August 2012
- Print publication:
- 13 October 2011, pp xi-xii
-
- Chapter
- Export citation
List of illustrations
-
- Book:
- Introduction to Bisimulation and Coinduction
- Published online:
- 05 August 2012
- Print publication:
- 13 October 2011, pp ix-x
-
- Chapter
- Export citation
List of contributors
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp viii-x
-
- Chapter
- Export citation
Contents
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp v-vii
-
- Chapter
- Export citation
Advanced Topics in Bisimulation and Coinduction
-
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011
4 - Bisimulation and logic
-
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp 173-196
-
- Chapter
- Export citation
List of notation
-
- Book:
- Introduction to Bisimulation and Coinduction
- Published online:
- 05 August 2012
- Print publication:
- 13 October 2011, pp 231-234
-
- Chapter
- Export citation
6 - Refinements of simulation
-
- Book:
- Introduction to Bisimulation and Coinduction
- Published online:
- 05 August 2012
- Print publication:
- 13 October 2011, pp 168-181
-
- Chapter
- Export citation
Introduction to Bisimulation and Coinduction
-
- Published online:
- 05 August 2012
- Print publication:
- 13 October 2011
5 - Other approaches to behavioural equivalences
-
- Book:
- Introduction to Bisimulation and Coinduction
- Published online:
- 05 August 2012
- Print publication:
- 13 October 2011, pp 133-167
-
- Chapter
- Export citation
Contents
-
- Book:
- Introduction to Bisimulation and Coinduction
- Published online:
- 05 August 2012
- Print publication:
- 13 October 2011, pp v-viii
-
- Chapter
- Export citation
4 - Processes with internal activities
-
- Book:
- Introduction to Bisimulation and Coinduction
- Published online:
- 05 August 2012
- Print publication:
- 13 October 2011, pp 108-132
-
- Chapter
- Export citation
2 - An introduction to (co)algebra and (co)induction
-
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp 38-99
-
- Chapter
- Export citation
3 - Algebraic properties of bisimilarity
-
- Book:
- Introduction to Bisimulation and Coinduction
- Published online:
- 05 August 2012
- Print publication:
- 13 October 2011, pp 89-107
-
- Chapter
- Export citation
General introduction
-
- Book:
- Introduction to Bisimulation and Coinduction
- Published online:
- 05 August 2012
- Print publication:
- 13 October 2011, pp 1-10
-
- Chapter
- Export citation
6 - Enhancements of the bisimulation proof method
-
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp 233-289
-
- Chapter
- Export citation
1 - Origins of bisimulation and coinduction
-
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp 1-37
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp i-iv
-
- Chapter
- Export citation
References
-
- Book:
- Introduction to Bisimulation and Coinduction
- Published online:
- 05 August 2012
- Print publication:
- 13 October 2011, pp 235-243
-
- Chapter
- Export citation
3 - The algorithmics of bisimilarity
-
-
- Book:
- Advanced Topics in Bisimulation and Coinduction
- Published online:
- 05 November 2011
- Print publication:
- 13 October 2011, pp 100-172
-
- Chapter
- Export citation