Participants

Luca Aceto, Unnar T. Bachmann, Arnar Birgisson, Hilmar Finnsson, Vigdis Gudjonsdottir, Anna Ingolfsdottir and Einar Jonsson. Anybody who would like to contribute is welcome to join our meetings.

Meetings and Their Topic

Here we will have a list of meetings, speakers responsible to lead the discussion, and relevant literature. All the meetings will be held in room K6 on Tuesdays from 14:45 till about 16:00.

• 18 March 2008: Luca Aceto discusses the meaning of SOS specifications.
  Suggested reading:
  • L. Aceto. SOS Meta-theory: A Very Short Introduction.
  • M.R. Mousavi, M. A. Reniers, J.F. Groote. SOS Formats and Meta-Theory: 20 Years After. Theoretical Computer Science, 373(3):238-272, 2007. [Preprint version.]
  • Rob van Glabbeek. The Meaning of Negative Premises in Transition System Specifications II, Report STAN-CS-TN-95-16, Department of Computer Science, Stanford University, CA 94305, USA 1995; available from Boole.stanford.edu. Extended abstract in: Automata, Languages and Programming, Proceedings 23th International Colloquium, ICALP '96, Paderborn, Germany, July 1996 (F. Meyer auf der Heide & B. Monien, eds.), LNCS 1099, Springer, 1996, pp. 502-513.
• 11 March 2008: Bas Luttik (Eindhoven University of Technology, NL) delivers a talk entitled CTL with Deadlock Detection. The abstract for the talk is available here.
• 19 February 2008: Luca Aceto will continue his introduction to SOS meta-theory, rule formats and congruence formats for bisimulation equivalence.
• 12 February 2008: Luca Aceto will give an introduction to SOS meta-theory, rule formats and congruence formats for bisimulation equivalence.
  Suggested reading:
  • L. Aceto. SOS Meta-theory: A Very Short Introduction.
  • M.R. Mousavi, M. A. Reniers, J.F. Groote. SOS Formats and Meta-Theory: 20 Years After. Theoretical Computer Science, 373(3):238-272, 2007. [Preprint version.] (Skim through the first 22 pages.)
  • L. Aceto, W.J. Fokkink, and C. Verhoef. [Structural Operational Semantics. In J.A. Bergstra, A. Ponse, and S.A. Smolka, editors, Handbook of Process Algebra, Chapter 3, pages 197-292. Elsevier Science, 2001. (This is a general reference for the whole series of meetings. You do not have to read it now in any detail, but skim through the introductory sections.)

Reading List

Note: The following list is always work in progress!

SOS Meta-Theory

We will mainly read some of the papers in this bibliography maintained by MohammadReza Mousavi.

Compositionality and Logic

• F. Dechesne, M.R. Mousavi and S. Orzan. Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. Proceedings of Proceedings of the 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning, volume 4790 of Lecture Notes in Artificial Intelligence, pages 226--241, Springer-Verlag, October 2007.
• W. Fokkink, R. van Glabbeek and P. de Wind. Compositionality of Hennessy-Milner Logic. through Structural Operational Semantics.
• K.G. Larsen and X. Liu. Compositionality through an Operational Semantics of Contexts.