Compositionality in the Temporal Logic of Concurrent Systems (extended abstract)

Frank S. de Boer. Compositionality in the Temporal Logic of Concurrent Systems (extended abstract). In Eddy Odijk, Martin Rem, Jean-Claude Syre, editors, PARLE 89: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings. Volume 366 of Lecture Notes in Computer Science, pages 406-423, Springer, 1989.

Abstract

Abstract is missing.