Modal Logic and Process Algebra: A Bisimulation Perspective

From the Publisher: This book discusses labeled transition systems, a research field common to theoretical computer scientists and logicians. This field is of fundamental importance to the formal analysis of processes in computer science, and forms the central object of study in modal logic.