Copenhagen Programming Language Seminar

Characteristic Formulae for Fixed-Point Semantics: A General Framework

Speaker: Anna Íngólfsdóttir, Professor, Department of Computer Science, Reykjavik University

Authors: Luca Aceto, Anna Íngólfsdóttir, Paul Blain Levy and Joshua Sack

Wednesday 26 May 2010, 13:15-14:00
 Auditorium 3 at the IT University

The literature on concurrency theory offers a wealth of examples of
characteristic-formula constructions for various behavioural relations
over finite labelled transition systems and Kripke structures that are
defined in terms of fixed points of suitable functions. Such
constructions and their proofs of correctness have been developed
independently, but have a common underlying structure. This study
provides a general view of characteristic formulae that are expressed
in terms of logics with a facility for the recursive definition of
formulae. It is shown how several examples of characteristic-formula
constructions from the literature can be recovered as instances of the
proposed general framework, and how the framework can be used to yield
novel constructions

Host: Thomas Hildebrandt,
Programming, Logic and Semantics (PLS) Group, ITU

Scientific host: Thomas Hildebrandt Administrative host:Renée Korver Michan. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and RUC.
COPLAS is sponsored by the 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