A Compositional Proof System on a Category of Labelled Transition Systems
AbstractThis 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.
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
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.