Specifying and inheriting concurrent objects

Kiyeol Ryu, Seungryoul Maeng. Specifying and inheriting concurrent objects. Journal of Systems Architecture, 34(1-5):167-170, 1992. [doi]

Abstract

Abstract is missing.