Observational Logic and Process Semantics (Abstract)

Samson Abramsky. Observational Logic and Process Semantics (Abstract). In Albert R. Meyer, Michael A. Taitslin, editors, Logic at Botik 89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings. Volume 363 of Lecture Notes in Computer Science, pages 1, Springer, 1989.

Authors

Samson Abramsky

This author has not been identified. Look up 'Samson Abramsky' in Google