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 [1] Hilfe Hilfe
 
Suche: Citkey="Bonsangue-Arbab-Bakker-Rutten-Scutella-Zavattaro/00"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

A transition system semanatics for the control-driven coordination language Manifold Publikation auswählen
M.M. Bonsangue, F. Arbab, J.W. de Bakker, J.J.M.M. Rutten, A. Scutellà, G. Zavattaro

Theoretical Computer Science 240 (1), 2000, pp. 3-47

Publisher:  Elsevier Science B.V.
Address:  Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo