CSLI Publications logo
new books
knuth books
for authors
CSLI Publications
Modal Logic and Process Algebra cover

Modal Logic and Process Algebra

A Bisimulation Perspective

edited by Alban Ponse, Maarten de Rijke, and Yde Venema

Labeled transition systems are mathematical models for dynamic beaviour, or processes, and thus form a research field of common interest to logicians and theoretical computer scientists. In computer science, this notion is a fundementals one in the formal analysis of programming languages, in particular in process theory. In modal logic, transition systems are the central object of study under the name of Kripke models.

This voulme collects a number of research papers on modal logic and process theory. Its unifying theme is the notion of a bisimulation. Bisimulations are relations over transition systems, and provide a key tool in identifying the process represented by these structures.

This volume offers an up-to-date overview of perspectives on labeled transition system and bisimulations.

Alban Ponse is a lecturer in the department of mathematics and computer science at the University of Amsterdam. Maarten de Rijke is research scientist at the Centre of Mathematics and Computer Science in Amsterdam. Yde Venema is a KNAW research fellow in the department of mathematics and computer science at the Free University in Amsterdam.


  • Contributors
  • Preface
  • Introduction
  • 1 Submodel Preservation Theorems in Finite Variable Fragments H. Andréka, J. van Benthem, and I. Németi
  • 2 Process Algebra with Feedback J.C.M. Baeten, J.A. Bergstra, and Gh. Ştefănescu
  • 3 Frame-Based Process Logics J.A. Bergstra and A. Ponse
  • 4 Re-interpreting the Modal μ-Calculus Marcello M. Bonsangue and Marta Z. Kwiatkowska
  • 5 Bisimulation of Context-Free Grammars and Pushdown Automata Didier Caucal
  • 6 Saturation and the Hennessy-Milner Property Robert Goldblatt
  • 7 A Modal Logic for μCRL J.F. Goote and S.F.M. van Vlijmen
  • 8 Deciding Equivalences in Simple Process Algebras Yoram Hirshfeld and Faron Moller
  • 9 Expressive Completeness of Until and Since over Dedekind Complete Linear Time Ian Hodkinson
  • 10 Hennessy-Milner Classes and Process Algebra Marco Hollenberg
  • 11 A Lindström Theorem for Modal Logic Maarten de Rijke
  • 12 A Calculus of Transition Systems (towards Universal Coalgebra) J.J.M.M. Rutten
  • 13 On the Parallel Complexity of Bisimulation and Model Checking Scott A. Smolka, Oleg Sokolsky, and Shipei Zhang
  • 14 NNIL, a Study in Intuitionistic Propositional Logic Albert Visser, Johan van Benthem, Dick de Jongh, and Gerard R. Renardel de Lavalette
  • Author Index


ISBN (Paperback): 1881526968 (9781881526964)
ISBN (Cloth): 188152695X (9781881526957)
ISBN (Electronic): 1575868547 (9781575868547)
Subject: Linguistics; Formal Languages; Modality

Add to Cart
View Cart

Check Out

Distributed by the
University of
Chicago Press

pubs @ csli.stanford.edu