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] |