**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