CMCSInfinitary Howe’s Method Paul Blain Levy 1

Source URL: www.cs.bham.ac.uk

• Theoretical computer science
• Algebraic topology
• Philosophical logic
• Deduction
• Entailment
• Metalogic
• Preorder
• Bisimulation
• Sheaf
• Mathematics
• Logic
• Abstract algebra

Typed Normal Form Bisimulation Soren B. Lassen1 and Paul Blain Levy2 1 2

Source URL: www.cs.bham.ac.uk

• Logic in computer science
• Lambda calculus
• Process calculi
• Π-calculus
• Bisimulation
• Combinatory logic
• Fixed-point combinator
• Sheaf
• Theoretical computer science
• Applied mathematics
• Mathematics

BRICS Basic Research in Computer Science BRICS DS-99-1 G. L. Cattani: Presheaf Models for Concurrency

Source URL: www.brics.dk

• Logic in computer science
• Process calculi
• Sheaf theory
• Π-calculus
• Programming language semantics
• Bisimulation
• Presheaf
• Coinduction
• Process calculus
• Mathematics
• Theoretical computer science
• Applied mathematics

Optional exam (Sangiorgi’s lectures) µ Consider the following variant of bisimulation. I write P −→ if there is some µ

Source URL: www2.imm.dtu.dk

Bisimulation on Markov Processes over Arbitrary Measurable Spaces Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, and Radu Mardare Department of Computer Science, Aalborg University, Denmark {grbacci,giovbacci,kgl,mardare}

Source URL: people.cs.aau.dk

Nondeterminism, fixpoints and bisimulation Paul Blain Levy University of Birmingham November 12, 2010

Source URL: www.cs.bham.ac.uk

BRICS Basic Research in Computer Science BRICS RS-98-4 Nielsen & Hune: Timed Bisimulation and Open Maps

Source URL: www.brics.dk

BRICS RSCattani & Winskel: Profunctors, Open Maps and Bisimulation BRICS Basic Research in Computer Science

Source URL: www.brics.dk

Limitations of Applicative Bisimulation (Preliminary Report) Vasileios Koutavas?1 , Paul Blain Levy2 and Eijiro Sumii3 1 Trinity College Dublin

Source URL: drops.dagstuhl.de

MFPSFrom Applicative to Environmental Bisimulation 1

Source URL: www.cs.bham.ac.uk