Reactive concurrent programming revisited

DOI10.1016/J.ENTCS.2005.12.104MaRDI QIDQ5262951zbMATH OpenOpenAlexFDO

Authors Roberto M. Amadio, Gérard Boudol, F. Boussinot, Ilaria Castellani

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2005.12.104

zbMATH Keywords

semanticsconcurrencyreactive systemscooperative scheduling

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4082959
• The Esterel synchronous programming language: Design, semantics, implementation
• Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
• scientific article; zbMATH DE number 526071
• The SL synchronous language, revisited

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 2084367 (Why is no real title available?)
• scientific article; zbMATH DE number 2182486 (Why is no real title available?)
• Feasible reactivity for synchronous cooperative threads
• Programming Languages and Systems
• Reactive answer set programming
• Resource control for synchronous cooperative threads
• Synchronous Kahn networks
• The Esterel synchronous programming language: Design, semantics, implementation

Cited in

(13)

• Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
• Compositional approach to the development of reactive algorithms
• Trampolined style
• The Reaction Algebra: A Formal Language for Event Correlation
• The Miracle of Reactive Programming
• Reversible session-based concurrency in Haskell
• Vats: a safe, reactive storage abstraction
• Algebra and Coalgebra in Computer Science
• Coordination Models and Languages
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 2087394 (Why is no real title available?)
• Functional reactive programming with liveness guarantees
• A synchronous \(\pi\)-calculus

Describes a project that uses

Uses Software

• SugarCubes
• ULM
• Esterel

This page was built for publication: Reactive concurrent programming revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262951)