@inproceedings{DBLP:conf/ictac/AbrahamBBS04,
author = {Erika {\'A}brah{\'a}m and
Marcello M. Bonsangue and
Frank S. de Boer and
Martin Steffen},
title = {Object Connectivity and Full Abstraction for a Concurrent
Calculus of Classes},
booktitle = {ICTAC},
year = {2004},
pages = {37-51},
ee = {http://dx.doi.org/10.1007/978-3-540-31862-0_5},
crossref = {DBLP:conf/ictac/2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ictac/2004,
editor = {Zhiming Liu and
Keijiro Araki},
title = {Theoretical Aspects of Computing - ICTAC 2004, First International
Colloquium, Guiyang, China, September 20-24, 2004, Revised
Selected Papers},
booktitle = {ICTAC},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3407},
year = {2005},
isbn = {3-540-25304-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}