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
1 Ecole Nationale Superieure des Telecomunications [Elie.Najm, Abdelkrim.Nimour]@enstfr In a previous work  we presented COB, an object calculus which features objects with dynamically changing service offers. We also defined a type system for interfaces and a typing discipline that guarantees that no object may experience an unexpected service request at run-time. In the present paper, we extend our type system such that it describes "infinite state" types. We define equivalence anddoi:10.1007/978-0-387-35562-7_28 fatcat:xonpeyb77vay5fjobfskzcekdy