Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen | Hilfe |
Suche: Citkey="de_Bakker-Meyer-Olderog-Zucker/88" |
Journal of Computer and System Sciences 36 (2), 1988, April, pp. 158-224
Publisher: | Academic Press | |
Address: | New York-San Francisco-London-San Diego | |
Institution: | Centre for Math. & Comput. Sci., Amsterdam, Netherlands | |
Keywords: | transition systems, concurrent languages, semantics of uniform concurrency, shuffle, local nondeterminacy, synchronization merge, global nondeterminacy, infinitary languages, denotational semantics, linear time model, branching time model, ready set | |