Static and Dynamic Aspects of Goal-Oriented Concurrency Control

Victor Vianu, Gottfried Vossen. Static and Dynamic Aspects of Goal-Oriented Concurrency Control. Annals of Mathematics and Artificial Intelligence, 7(1-4):257-287, 1993.

Abstract

Abstract is missing.