A Basic Calculus for Verifying Properties of Interacting Objects

Stefan Conrad. A Basic Calculus for Verifying Properties of Interacting Objects. Data \& Knowledge Engineering, 18(2):119-145, 1996. [doi]

Abstract

Abstract is missing.