A Compositional Proof System on a Category of Labelled Transition Systems

Authors

  • Glynn Winskel

DOI:

https://doi.org/10.7146/dpb.v18i294.6688

Abstract

This paper presents an attempt to cast labelled transition systems, and other models of parallel computation, in a category-theoretic framework. One aim is to use category theory to provide abstract characterisations of constructions like parallel composition valid throughout a range of different models and to provide formal means for translating between different models. Another aim is to exploit the framework of categorical logic to systematise specification languages and the derivation of proof systems for parallel processes. After presenting a category of labelled transition systems, its categorical constructions are used to establish a compositional proof system. A category of properties of transition systems indexed by the category of labelled transition systems is used in forrning the proof system.

Author Biography

Glynn Winskel

Downloads

Published

1989-11-01

How to Cite

Winskel, G. (1989). A Compositional Proof System on a Category of Labelled Transition Systems. DAIMI Report Series, 18(294). https://doi.org/10.7146/dpb.v18i294.6688