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)

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

Describes a project that uses

Uses Software

• Esterel
• ULM
• SugarCubes

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)