SOS 2007 Workshop


July 9, 2007, Wroclaw, Poland

Time Speaker Title
8:30 Registration
8:54 Welcome
9:00 Invited lecture: Pawel Sobocinski A well-behaved LTS for the Pi-calculus
10:00 Traian Serbanuta, Grigore Rosu and Jose Meseguer A Rewriting Logic Approach to Operational Semantics (extended abstract)
10:30 Patrick Cousot and Radhia Cousot Bi-inductive Structural Semantics
11:00 Coffee break
11:30 David Frutos Escrig and Carlos Gregorio Rodríguez Simulations up-to and Canonical Preorders (extended abstract)
12:00 Harald Fecher and Heiko Schmidt Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
12:30 Astrid Kiehn An operational semantics for shared messaging communication
13:00 Lunch
14:30 Iain Phillips and Irek Ulidowski Reversibility and models for concurrency
15:00 MohammadReza Mousavi and Michel Reniers A Congruence Rule Format with Universal Quantification
15:30 Jesper Bengtson and Joachim Parrow A completeness proof for bisimulation in the pi-calculus using Isabelle
16:00 Tea Break
16:30 Opportunity to attend the invited talk of
Catuscia Palamidessi at PAuL.
Information-hiding protocols as opaque channels

Rob van Glabbeek, National ICT Australia.
Matthew Hennessy, University of Sussex, UK.