| |
| 1995 | ||
|---|---|---|
| 4 | Mogens Nielsen, Christian Clausen: Games and Logics for a Noninterleaving Bisimulation. Nord. J. Comput. 2(2): 221-249 (1995) | |
| 1994 | ||
| 3 | Mogens Nielsen, Christian Clausen: Bisimulation for Models in Concurrency. CONCUR 1994: 385-400 | |
| 2 | Mogens Nielsen, Christian Clausen: Bisimulation, Games, and Logic. Results and Trends in Theoretical Computer Science 1994: 289-306 | |
| 1 | Bettina Blaaberg, Christian Clausen: Adequacy for a Lazy Functional Language with Recursive and Polymorphic Types. Theor. Comput. Sci. 136(1): 243-275 (1994) | |
| 1 | Bettina Blaaberg | [1] |
| 2 | Mogens Nielsen | [2] [3] [4] |