Object connectivity and full abstraction for a concurrent calculus of classes (2005)

by Erika Ábrahám , Marcello M. Bonsangue , Frank S. De Boer , Martin Steffen
Venue:In Proc. ICTAC 2004, vol 3704 of LNCS
Citations:13 - 7 self