Reactive concurrent programming revisited

DOI10.1016/J.ENTCS.2005.12.104zbMATH Open1316.68032OpenAlexW1997057712MaRDI QIDQ5262951FDOQ5262951

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

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

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)

Cites Work

• The Esterel synchronous programming language: Design, semantics, implementation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Synchronous Kahn networks
• Title not available (Why is that?)
• Programming Languages and Systems
• Feasible reactivity for synchronous cooperative threads
• Reactive answer set programming
• Resource control for synchronous cooperative threads

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
• The Reaction Algebra: A Formal Language for Event Correlation
• Vats: a safe, reactive storage abstraction
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Coordination Models and Languages
• Compositional approach to the development of reactive algorithms
• A synchronous \(\pi\)-calculus
• Trampolined style
• Functional reactive programming with liveness guarantees
• Title not available (Why is that?)
• Algebra and Coalgebra in Computer Science

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)