@inproceedings{DBLP:conf/icalp/Konig00,
author = {Barbara K{\"o}nig},
title = {Analysing Input/Output-Capabilities of Mobile Processes
with a Generic Type System},
booktitle = {ICALP},
year = {2000},
pages = {403-414},
ee = {http://dx.doi.org/10.1007/3-540-45022-X_34},
crossref = {DBLP:conf/icalp/2000},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icalp/2000,
editor = {Ugo Montanari and
Jos{\'e} D. P. Rolim and
Emo Welzl},
title = {Automata, Languages and Programming, 27th International
Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15,
2000, Proceedings},
booktitle = {ICALP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1853},
year = {2000},
isbn = {3-540-67715-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}