Computing MPMA Updates Using Dijkstra's Semantics.

Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj

Browse the full ISMIS paper archive.