Found 4 document(s)
Page 1 of 1
-
Formal choreographic modelling advocates a correctness-byconstruction principle for the development of sound communication protocols. This principle usually hinges on syntactic or semantic restrictions to rule out models...
-
This paper presents a line of research in reversible computing for concurrent systems. This line of research started in 2004 with the definition of the first reversible extensions for concurrent process calculi such as C...
-
Programming languages based on the actor model, such as Erlang, avoid some concurrency bugs by design. However, other concurrency bugs, such as message order violations and livelocks, can still show up in programs. These...
-
Programming distributed applications free from communication deadlocks and races is complex. Preserving these properties when applications are updated at runtime is even harder. We present DIOC, a language for programmin...