IFIP WG 2.2 Meeting Amsterdam

September 24-26, 2012

Titles and slides of the talks

(in chronological order)

Manfred Broy
Towards a Theory of Architectural Contracts: Schemes and Patterns of Assumption/Promise Based System Specification
PDF


Ernst-Ruediger Olderog
Simplifying Verification by Layered Reasoning
PDF


Gilles Barthe
The next 700 cryptosystems
PDF


Rocco De Nicola

PDF


Matthew Hennessy
Communicating Transactions
PDF


Ugo Montanari
Network conscious pi-calculus
PDF


Joost-Pieter Katoen
Revisiting generalised stochastic Petri nets
PDF


Grigore Rosu
Do we really need axiomatic semantics
PDF


Markus Mueller-Olm
Automata-Based Analysis of Recursive Programs with Threads
PDF


Peter D. Mosses
Component-Based Semantics
PDF


Kohei Honda
Scribble: A language based on Session Types
PDF


Antonin Kucera
Playing games with counter automata
PDF


Javier Esparza
A Perfect Model for Bounded Verification
PDF


Frank de Boer
Decidability Problems for Actor Systems
PDF


Luis Caires
The type discipline of behavioral spearation
PDF


Jan Rutten
joint work with many others, including Clemens Kupke, Marcello Bonsangue, Joost Winter, Larry Moss.

We give a quick overview of some basic classes of stream differential equations (SDEs), show that the collection of automatic sequences carries a final coalgebra structure, and use this to present new types of SDEs for them, using even, odd and zip.

Related references:

C. Kupke and J. Rutten. On the final coalgebra of automatic sequences. In Robert L. Constable and Alexandra Silva (eds.), Logic and Program Semantics. Essays dedicated to Dexter Kozen on the occasion of his 60th Birthday. LNCS 7230, pp. 149-164, Springer, 2012.

M. Bonsangue, J. Rutten and J. Winter. Defining context-free power series coalgebraically. In: D. Pattinson and L. Schroeder (Eds.), Proceedings of CMCS 2012, LNCS 7399, 2012, pp. 20--39.


Uwe Nestmann
"False distribution" Translational expressiveness; comparing process calculi using encodings
PDF


Igor Walukiewicz
Synthesis for acyclic architectures
PDF