A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Formal Methods for Open Object-Based Distributed Systems
Concurrent object-oriented languages, such as POOL , ABCL , Obliq  or Java , usually structure the program into objects, model the parallelism with threads and the mutual exclusion with locks (or some variant of them). These attempts to integrate concurrency and object-oriented features are somehow naive and no rigorous motivation for the design choices is given. As a result, the semantics is often crisp and one stumbles into anomalies (cft inheritance anomaly ) or typing flawsdoi:10.1007/978-0-387-35562-7_27 fatcat:voouacz54nevzmou5gsj576soq