Bisimulation-invariant ptime and higher-dimensional my-calculus
Otto, Martin
Amsterdam [u.a.] / Elsevier (1999) [Journal Article]
Theoretical computer science
Volume: 224
Page(s): 237-265
Identifier
- REPORT NUMBER: RWTH-CONV-035471
Otto, Martin
Amsterdam [u.a.] / Elsevier (1999) [Journal Article]
Theoretical computer science
Volume: 224
Page(s): 237-265