Media type: Book; Thesis Title: Kausale Semantik nichtsequentieller Programme Contributor: Best, Eike [Author] imprint: München; Wien: Oldenbourg, 1989 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 174 Extent: IV, 187 S; graph. Darst Language: German ISBN: 3486213229 Keywords: Parallelverarbeitung > Formale Semantik > Halbordnung > Petri-Netz Origination: University thesis: Zugl.: Bonn, Univ., Habil.-Schr., 1988 Footnote: