| |
| 2001 | ||
|---|---|---|
| 4 | Simon Mørk: Distributed Implementation of a Process-Algebra Based Programming Language for Embedded Systems. Nord. J. Comput. 8(1): 121-158 (2001) | |
| 1997 | ||
| 3 | Henrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen: A Universal Reactive Machine. CONCUR 1997: 89-103 | |
| 1996 | ||
| 2 | Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp: A Timed Semantics for SDL. FORTE 1996: 295-309 | |
| 1995 | ||
| 1 | Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber: Development of Safety-Critical Real-Time Systems. SOFSEM 1995: 206-235 | |
| 1 | Henrik Reif Andersen | [3] |
| 2 | Jorge Cuéllar | [1] |
| 3 | Jens Chr. Godskesen | [2] |
| 4 | Michael R. Hansen | [2] |
| 5 | Anders P. Ravn | [1] |
| 6 | Hans Rischel | [1] |
| 7 | Robin Sharp | [2] |
| 8 | Morten Ulrik Sørensen | [3] |
| 9 | Isolde Wildgruber | [1] |