A simple proof of a completeness result for leads-to in the UNITY logic

Asynchronous progress

Programming methodology

CORDS: status and directions

CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2

Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation

Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning

Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation

Electronic Notes in Theoretical Computer Science (ENTCS)

Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation

Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning