A Logical View of Composition
View/ Open
Date
05/11/2003Author
Abadi, Martin
Plotkin, Gordon
Metadata
Abstract
We define two logics of safety specifications for reactive systems.
The logics provide a setting for the study of composition rules. The
two logics arise naturally from extant specification approaches; one of
the logics is intuitionistic, while the other one is linear.