A Dynamic Class Construct for Asynchronous Concurrent Objects

Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl. A Dynamic Class Construct for Asynchronous Concurrent Objects. In Martin Steffen, Gianluigi Zavattaro, editors, Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings. Volume 3535 of Lecture Notes in Computer Science, pages 15-30, Springer, 2005. [doi]

Authors

Einar Broch Johnsen

This author has not been identified. Look up 'Einar Broch Johnsen' in Google

Olaf Owe

This author has not been identified. Look up 'Olaf Owe' in Google

Isabelle Simplot-Ryl

This author has not been identified. Look up 'Isabelle Simplot-Ryl' in Google