The next Comète seminar will take place on Tuesday 12th of September 2017 at 14h00 in Salle Henri Poincaré (LIX - Alan Turing building, École Polytechnique). Rob van Glabbeek, chief research scientist at Data61, CSIRO and conjoint professor at the University of New South Wales, Sydney, Australia, will talk about "Congruence Formats in Structural Operational Semantics".
Abstract: This talk presents an overview on work on syntactic checks on structural operational language specifications that ensure that a certain semantic equivalence or preorder is a (pre)congruence. This is vital for compositional system verification. I will focus on strong and weak bisimilarity, and its divergence respecting variants. The languages I consider may have, besides constants and operators, also a recursion construct. For the latter I distinguish two kinds of congruence requirements: lean and full.