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