Simon Mørk

Publication Activity (10 Years)

Years Active: 1995-2001
Publications (10 Years): 0

Publications

Simon Mørk
Distributed Implementation of a Process-Algebra Based Programming Language for Embedded Systems. Nord. J. Comput. 8 (1) (2001)
Henrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen
A Universal Reactive Machine. CONCUR (1997)
Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp
A Timed Semantics for SDL. FORTE (1996)
Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber
Development of Safety-Critical Real-Time Systems. SOFSEM (1995)