Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Wed 16 Jan 2019 13:45 - 14:07 at Sala II - Categories Chair(s): Nicolas Tabareau

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

POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Categories at Sala II
Chair(s): Nicolas TabareauInria
POPL-2019-Research-Papers13:45 - 14:07
Talk
Tom HirschowitzUniv. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers14:07 - 14:29
Talk
Jasmin BlanchetteVrije Universiteit Amsterdam, Lorenzo GheriMiddlesex University London, Andrei PopescuMiddlesex University, London, Dmitriy TraytelETH Zurich
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers14:29 - 14:51
Talk
Paul-André MelliesCNRS and University Paris Diderot
Link to publication DOI Media Attached File Attached