1 April 2004Concurrency Theory at LICS 2004
I just saw the list of accepted papers for LICS 2004. A quick browse through the list indicates that this has been a good year for concurrency theory at that prestigious conference. Congratulations to those colleagues of mine that will represent the field at LICS 2004!
Amongst the accepted papers, I have already had the pleasure of reading the study Congruence for SOS with Data by Mohammad Reza Mousavi, Michel A. Reniers and Jan Friso Groote, albeit not at the level of detail I'd have liked. That is a good paper that provides elegant congruence formats for three notions of bisimulation equivalence over process algebras with explicit data that have been considered in the literature. More precisely, the authors present congruence formats for state-based bisimilarity, initially stateless bisimilarity and stateless bisimilarity. The congruence format for stateless bisimilarity is essentially the tyft/tfxt format proposed by Groote and Vaandrager. The formats for initially stateless and state-based bisimilarity are obtained by imposing restrictions on that format which suitably constrain the possible dynamic interplay between data terms and process variables in terms. The constraints presented by the authors are non-trivial, but well motivated and natural---at least to the mind of this reader. The paper presents a wealth of examples showing that the formats offered by the authors cannot be easily relaxed while maintaining the desired congruence properties.
I warmly recommend that paper to readers interested in structural operational semantics.
Last modified: Thursday, 01-Apr-2004 15:04:23 CEST.