Grounding Synchronous Deterministic Concurrency in Sequential Programming

  title={Grounding Synchronous Deterministic Concurrency in Sequential Programming},
  author={Joaqu{\'i}n Aguado and Michael Mendler and Reinhard von Hanxleden and Insa Fuhrmann},
Using a new domain-theoretic characterisation we show that Berry’s constructive semantics is a conservative approximation of the recently proposed sequentially constructive (SC) model of computation. We prove that every Berry-constructive program is deterministic and deadlock-free under sequentially admissible scheduling. This gives, for the first time, a natural interpretation of Berry-constructiveness for shared-memory, multi-threaded programming in terms of synchronous cycle-based scheduling… CONTINUE READING


Publications citing this paper.
Showing 1-10 of 10 extracted citations


Publications referenced by this paper.
Showing 1-10 of 37 references

Grounding synchronous deterministic concurrency in sequential programming

  • J. Aguado, M. Mendler, R. von Hanxleden, I. Fuhrmann
  • Technical report, ChristianAlbrechts-Universität…
  • 2014
Highly Influential
5 Excerpts

The Constructive Semantics of Pure Esterel

  • G. Berry
  • Draft Book, Version 3.0, Centre de Mathématiques…
  • 2002
Highly Influential
6 Excerpts

The foundations of Esterel

  • G. Berry
  • In Plotkin, G., Stirling, C., Tofte, M., eds…
  • 2000
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…