Simon Mørk

According to our database, Simon Mørk authored at least 4 papers between 1995 and 2001.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2001

Distributed Implementation of a Process-Algebra Based Programming Language for Embedded Systems.

Simon Mørk

Nord. J. Comput., 2001

1997

A Universal Reactive Machine.

Henrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

A Timed Semantics for SDL.

Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp

Proceedings of the Formal Description Techniques IX: Theory, 1996

1995

Development of Safety-Critical Real-Time Systems.

Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber

Proceedings of the SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23, 1995