Karl R. Abrahamson. Modal Logic of Concurrent Nondeterministic Programs. In Gilles Kahn, editor, Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979. Volume 70 of Lecture Notes in Computer Science, pages 21-33, Springer, 1979.
No references recorded for this publication.
No citations of this publication recorded.