A compositional proof system on a category of labelled transition systems

Authors:
Glynn Winskel
Affiliations:
-
Venue:
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Year:
1990

Revisiting the Categorical Approach to Systems

AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Axiomatizing an Algebra of Step Reactions for Synchronous Languages

CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems

Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems

Hi-index	0.00