A Compositional Proof System on a Category of Labelled Transition Systems

DAIMI Report Series

View Publication Info
 
 
Field Value
 
Title A Compositional Proof System on a Category of Labelled Transition Systems
 
Creator Winskel, Glynn
 
Description 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.
 
Publisher Aarhus University
 
Contributor
 
Date 1989-11-01
 
Type info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Peer-reviewed Article
 
Format application/pdf
 
Identifier http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/6688
10.7146/dpb.v18i294.6688
 
Source DAIMI Report Series; No 294 (1989): PB-294 A Compositional Proof System on a Category of Labelled Transition Systems
DAIMI Report Series; No 294 (1989): PB-294 A Compositional Proof System on a Category of Labelled Transition Systems
2245-9316
0105-8517
 
Language eng
 
Relation http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/6688/5805
 

Contact Us

The PKP Index is an initiative of the Public Knowledge Project.

For PKP Publishing Services please use the PKP|PS contact form.

For support with PKP software we encourage users to consult our wiki for documentation and search our support forums.

For any other correspondence feel free to contact us using the PKP contact form.

Find Us

Twitter

Copyright © 2015-2018 Simon Fraser University Library