Reactive Concurrent Programming Revisited

DOI10.1016/j.entcs.2005.12.104zbMath1316.68032OpenAlexW1997057712MaRDI QIDQ5262951

F. Boussinot, Gérard Boudol, Roberto M. Amadio, 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

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

Related Items

A synchronous \(\pi\)-calculus

Uses Software

• SugarCubes
• ULM
• Esterel

Cites Work

• The Esterel synchronous programming language: Design, semantics, implementation
• Resource control for synchronous cooperative threads
• Synchronous Kahn networks
• Reactive Answer Set Programming
• Programming Languages and Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item