A semantics comparison workbench for a concurrent, asynchronous, distributed programming language

• Main Authors: CORRODI, Claudio, HEUßNER, Alexander, POSKITT, Christopher M.
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2017
• Subjects: concurrent asynchronous programming; distributed programming with message passing; operational semantics; runtime semantics; graph transformation systems; verification/analysis parameterised by semantics; concurrency abstractions; object-oriented programming; software engineering; SCOOP; GROOVE; Programming Languages and Compilers; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4857; https://ink.library.smu.edu.sg/context/sis_research/article/5860/viewcontent/Corrodi_Heussner_Poskitt.FAOC.2017__1_.pdf
• Institution: Singapore Management University

A number of high-level languages and libraries have been proposed that offer novel and simple to use abstractions for concurrent, asynchronous, and distributed programming. The execution models that realise them, however, often change over time---whether to improve performance, or to extend them to...