Grounding Synchronous Deterministic Concurrency in Sequential Programming

@inproceedings{Aguado2014GroundingSD,
  title={Grounding Synchronous Deterministic Concurrency in Sequential Programming},
  author={Joaqu{\'i}n Aguado and Michael Mendler and Reinhard von Hanxleden and Insa Fuhrmann},
  booktitle={ESOP},
  year={2014}
}
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

Citations

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

References

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…