A compositional proof system on a category of labelled transition systems
- 1 July 1990
- journal article
- Published by Elsevier in Information and Computation
- Vol. 87 (1-2) , 2-57
- https://doi.org/10.1016/0890-5401(90)90058-p
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Petri nets, algebras, morphisms, and compositionalityInformation and Computation, 1987
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Fibered categories and the foundations of naive category theoryThe Journal of Symbolic Logic, 1985