Baldan, Paolo; Corradini, Andrea; König, Barbara; Schwoon, Stefan:
McMillan's complete prefix for contextual nets
In: Transactions on Petri Nets and Other Models of Concurrency. - (Lecture Notes in Computer Science ; 5100) - Berlin [u.a.]: Springer, 2008, S. 199 - 220
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
McMillan's complete prefix for contextual nets
Autor(in):
Baldan, Paolo; Corradini, Andrea; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Schwoon, Stefan
Erscheinungsjahr
2008
Erschienen in:
Transactions on Petri Nets and Other Models of Concurrency. - (Lecture Notes in Computer Science ; 5100) - Berlin [u.a.]: Springer, 2008, S. 199 - 220
ISBN
WWW URL