On syntax and semantics of programming languages:
On transition systems and other models for concurrency:
On transition systems, bisimulations and open morphisms:
On category theoretic generalizations of domain theory:
316 1–3 (2004) 153-190 [doi:10.1016/j.tcs.2004.01.029, pdf]
Last revised on May 4, 2023 at 05:15:13. See the history of this page for a list of all contributions to it.