Bisimulation-invariant ptime and higher-dimensional my-calculus
Amsterdam [u.a.] / Elsevier (1999) [Fachzeitschriftenartikel]
Theoretical computer science
Band: 224
Seite(n): 237-265
Autorinnen und Autoren
Ausgewählte Autorinnen und Autoren
Otto, Martin
Identifikationsnummern
- REPORT NUMBER: RWTH-CONV-035471