The following pages link to Programming Languages and Systems (Q5308701):
Displaying 7 items.
- Constructive semantics for instantaneous reactions (Q631753) (← links)
- The SL synchronous language, revisited (Q864504) (← links)
- Model checking mobile stochastic logic (Q995465) (← links)
- Typing noninterference for reactive programs (Q997991) (← links)
- A synchronous \(\pi\)-calculus (Q2381508) (← links)
- Resource control for synchronous cooperative threads (Q2503040) (← links)
- Reactive Concurrent Programming Revisited (Q5262951) (← links)
