Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes

Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen. Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. In Zhiming Liu, Keijiro Araki, editors, Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers. Volume 3407 of Lecture Notes in Computer Science, pages 37-51, Springer, 2004. [doi]

Authors

Erika Ábrahám

This author has not been identified. Look up 'Erika Ábrahám' in Google

Marcello M. Bonsangue

This author has not been identified. Look up 'Marcello M. Bonsangue' in Google

Frank S. de Boer

This author has not been identified. It may be one of the following persons: Look up 'Frank S. de Boer' in Google

Martin Steffen

This author has not been identified. Look up 'Martin Steffen' in Google