Einar Broch, Olaf Owe, Isabelle Simplot-Ryl. A Dynamic Class Construct for Asynchronous Concurrent Objects. M. Steffen and G. Zavattaro.
Proc. 7th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'05), 2005, Athens, Greece. Springer-Verlag, 3535, pp.15--30, 2005, Lecture Notes in Computer Science.
〈inria-00544965〉