Cited in
(17)- Programming Languages and Systems
- The SL synchronous language, revisited
- Model checking mobile stochastic logic
- Typing noninterference for reactive programs
- SafeDpi
- JoCaml
- SugarCubes
- VESTA
- MoMo
- Esterel
- Modechart
- A synchronous -calculus
- Resource control for synchronous cooperative threads
- Constructive semantics for instantaneous reactions
- Recent Trends in Algebraic Development Techniques
- Acute: High-level programming language design for distributed computation
- Reactive concurrent programming revisited
This page was built for software: ULM