A Logical Theory of Concurrent Objects

José Meseguer. A Logical Theory of Concurrent Objects. In OOPSLA/ECOOP. pages 101-115, 1990.

Abstract

Abstract is missing.