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 [2] Hilfe Hilfe
 
Suche: Citkey="Parrow-Sangiorgi/94"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Algebraic theories for name-passing calculi Publikation auswählen
Joachim Parrow, Davide Sangiorgi

Proceedings of the REX School/Symposium on a Decade of Concurrency - Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)
Lecture Notes in Computer Science 803 , 1994, pp. 509-529

Editors  J.W. de Bakker, W.-P. de Roever, G. Rozenberg
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest
 
URL:   http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=803&spage=509