Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Citkey="Liu-Walker/95"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

A polymorphic type system for the polyadic \pi-calculus Publikation auswählen
Xinxin Liu, David Walker

Proceedings of the 6th International Conference on Concurrency Theory, CONCUR'95 (Philadelphia, PA, August 21-24, 1995)
Lecture Notes in Computer Science 962 , 1995, pp. 103-116

Editors  Insup Lee, Scott A. Smolka
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest