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

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Series=LNCS AND Volume=715
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Bisimulation equivalence is decidable for basic parallel processes Publikation auswählen
Sren Christensen, Yoram Hirshfeld, Faron Moller

Proceedings of the 4th International Conference on Concurrency Theory. CONCUR '93 (Hildesheim, Germany, August 23-26, 1993)
Lecture Notes in Computer Science 715 , 1993, pp. 143-157

Editors  Eike Best
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=715&spage=143