Computing MPMA Updates Using Dijkstra s Semantics

Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj. Computing MPMA Updates Using Dijkstra s Semantics. In Zbigniew W. Ras, Andrzej Skowron, editors, Foundations of Intelligent Systems, 11th International Symposium, ISMIS 99, Warsaw, Poland, June 8-11, 1999, Proceedings. Volume 1609 of Lecture Notes in Computer Science, pages 271-281, Springer, 1999.

Abstract

Abstract is missing.