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="Benson/82"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

In Scott-Strachey style denotational semantics, parallelism implies nondeterminism Publikation auswählen
David B. Benson

Math. Systems Theory 15 , 1982, pp. 267-275

Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong