Towards a Computational Interpretation of Situation Theory

Hideyuki Nakashima, Hiroyuki Suzuki, Per-Kristian Halvorsen, Stanley Peters. Towards a Computational Interpretation of Situation Theory. In FGCS. pages 489-498, 1988.

Abstract

Abstract is missing.