DIKU ITU KVL

Copenhagen Programming Language Seminar

COPLAS Talk

Interface Input/Output Automata

Andrzej Wasowski,
IT University of Copenhagen

Thursday, September 7th, 15:15-16:00
IT University of Copenhagen, Rued Langgaards Vej 7, Auditorium 3

Abstract:

Joint work with Kim G. Larsen and Ulrik Nyman of Aalborg University

Building on the theory of interface automata by de Alfaro and Henzinger we design an interface language for Lynch's I/O automata, a popular formalism used in the development of distributed asynchronous systems, not addressed by previous interface research. We introduce an explicit separation of assumptions from guarantees not yet seen in other behavioral interface theories. Moreover we derive the composition operator systematically and formally, guaranteeing that the resulting compositions are always the weakest in the sense of assumptions, and the strongest in the sense of guarantees. We also present a method for solving systems of relativized behavioral inequalities as used in our setup and draw a formal correspondence between our work and interface automata.

Scientific host: Peter Sestoft. Administrative host: Camilla Jensen. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and KVL.
COPLAS is sponsored by FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org