A Basic Calculus for Verifying Properties of Synchronously Interacting Objects (1994)

by Abt Datenbanken, Stefan Conrad, Stefan Conrad, Informatik Abt Datenbanken