![]() |
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 ![]() |
![]() |
![]() |
![]() |
![]() |
Acta Informatica 25 (3), 1988, pp. 333-354
Publisher: | Springer-Verlag | |
Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong | |
Institution: | Dept. of Comp. Sci., Duke Univ., Durham, NC, USA | |
Keywords: | Habermann paths, reachability, distributed communicating processes, program statements, communication deadlocks, computational complexity, message queues, program control, exponential space, NP-complete, decidable models, Petri nets, path expressions | |
URL: |
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=25&issue=3&spage=333 | |
![]() |
![]() |
![]() |
![]() |