Modal Logic and Process Algebra: A Bisimulation Perspective

Authors:
Maarten de Rijke;Yde Venema
Affiliations:
-;-
Venue:
Modal Logic and Process Algebra: A Bisimulation Perspective
Year:
1996

Citing 0
Cited 2

Mathematical modal logic: a view of its evolution

Journal of Applied Logic
A comonadic account of behavioural covarieties of coalgebras

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.