Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Wed, 08 January 2014 at 03:00 pm in Theddingworth near Leicester, UK
Abstract: This talk will consider state-based systems with branching modelled as coalgebras, and show that by suitably adapting the definition of coalgebraic bisimulation one obtains a general and uniform account of the linear-time behaviour of a state in such a system. By moving away from a boolean universe of truth values, our approach can measure the extent to which a state in a system with branching is able to exhibit a particular linear-time behaviour. This instantiates to measuring the probability of a specific behaviour occurring in a probabilistic system, or measuring the minimal cost of exhibiting a specific behaviour in the case of weighted computations. The talk will also outline preliminary work on defining quantitative modal and fixpoint logics for specifying linear-time properties.
Slides