A dynamic class construct for asynchronous concurrent objects (2005)

by Einar Broch Johnsen , Olaf Owe , Isabelle Simplot-ryl
Venue:Proc. 7th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS’05), volume 3535 of Lecture Notes in Computer Science
Citations:5 - 5 self