Copenhagen Programming Language Seminar
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
Host: Thomas Hildebrandt,
Programming, Logic and Semantics (PLS) Group, ITU
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 firstname.lastname@example.org with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org