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. © 1993.
Abadi, M., & Plotkin, G. D. (1993). A logical view of composition. Theoretical Computer Science, 114(1), 3–30. https://doi.org/10.1016/0304-3975(93)90151-I