The following pages link to ULM (Q20973):
Displaying 10 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)
- Acute: High-level programming language design for distributed computation (Q5308092) (← links)
- Programming Languages and Systems (Q5308701) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703997) (← links)
