Geometric Logic, Causality and Event Structures

Jeremy Gunawardena. Geometric Logic, Causality and Event Structures. In Jos C. M. Baeten, Jan Friso Groote, editors, CONCUR 91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings. Volume 527 of Lecture Notes in Computer Science, pages 266-280, Springer, 1991.

Abstract

Abstract is missing.