3 papers
cs.PL2026
Determinacy with Priorities up to Clocks
Luigi Liquori, Michael Mendler, Claude Stolze
In Milner's seminal book on communication and concurrency introducing CCS, a process algebra inherently non-deterministic, chapter 11 was completely devoted to introduce the notion…
cs.PL2025
Strong Priority and Determinacy in Timed CCS
Luigi Liquori, Michael Mendler
Building on the standard theory of process algebra with priorities, we identify a new scheduling mechanism, called "constructive reduction" which is designed to capture the essence…
cs.PL2025
PSM: Policy Synchronised Deterministic Memory
Michael Mendler, Marc Pouzet
Concurrency and determinacy do not go well with each other when resources must be shared. Haskell provides parallel programming abstractions such as IVar and LVar in the Par monad…