The SL synchronous language, revisited

DOI10.1016/j.jlap.2006.08.001zbMath1106.68016OpenAlexW2027494464MaRDI QIDQ864504

Roberto M. Amadio

Publication date: 9 February 2007

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2006.08.001

zbMATH Keywords

determinismbisimulationexpressivityreactivitysynchronous programmingCPS translation

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

A synchronous \(\pi\)-calculus ⋮ On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS

Uses Software

• ULM
• Esterel

Cites Work

• The Esterel synchronous programming language: Design, semantics, implementation
• On bisimulations for the asynchronous \(\pi\)-calculus
• Bisimulations for a calculus of broadcasting systems
• On reduction-based process semantics
• Barbed bisimulation
• Programming Languages and Systems
• CONCUR 2004 - Concurrency Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item