We propose an abstract framework for structural operational semantics, in which we prove that under suitable hypotheses bisimilarity is a congruence. We then refine the framework to prove soundness of bisimulation up to context, an efficient method for reducing the size of bisimulation relations. Finally, we demonstrate the flexibility of our approach by reproving known results about congruence of bisimilarity and soundness of bisimulation up to context, in three variants of the π-calculus.
Slides (lhc.pdf) | 64KiB |
Wed 16 Jan Times are displayed in time zone: Greenwich Mean Time : Belfast change
Wed 16 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change
13:45 - 14:07 Talk | Familial Monads and Structural Operational Semantics Research Papers Tom HirschowitzUniv. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry Link to publication DOI Media Attached File Attached | ||
14:07 - 14:29 Talk | Bindings as Bounded Natural Functors Research Papers Jasmin BlanchetteVrije Universiteit Amsterdam, Lorenzo GheriMiddlesex University London, Andrei PopescuMiddlesex University, London, Dmitriy TraytelETH Zurich Link to publication DOI Media Attached File Attached | ||
14:29 - 14:51 Talk | Categorical Combinatorics of Scheduling and Synchronization in Game Semantics Research Papers Paul-André MelliesCNRS and University Paris Diderot Link to publication DOI Media Attached File Attached |