 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Citkey="Abraham-Bonsangue-de_Boer-Steffen/05" |
|
Object connectivity and full abstraction for a concurrent calculus of classes
Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)
Lecture Notes in Computer Science
3407
, 2005, pp. 37-51
| Editors | Zhiming Liu, Keijiro Araki | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York | |
| URL: |
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=37 | |
|
|
|
|