8. FoSSaCS 2005: Edinburgh, UK (Part of ETAPS 2005)

Invited Talks

Rule Formats and Bisimulation

Probabilistic Models

Algebraic Models

Games and Automata

Language Analysis

Partial Order Models

Logics

Coalgebraic Modal Logics

Computational Models