Treffer: Nets, terms and formulas
Titel:
Nets, terms and formulas : three views of concurrent processes and their relationship / E.-R. Olderog
Verantwortlich:
Ausgabe:
1. publ.
Veröffentlicht:
Cambridge [u.a.] : Cambridge Univ. Press, 1991
Umfang:
X, 267 S. : graph. Darst.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Cambridge tracts in theoretical computer science ; 23
alle Bände anzeigen
alle Bände anzeigen
Hochschulschrift:
Zugl.:Kiel, Univ., Habil.-Schr., 1989
Schlagworte:
ISBN:
0521400449
Lokale Klassifikationen: