Tags

Lince

Compositional semantics

Coordination

Real-time OS

Timed automata

Uppaal

TRUST

Lightkone

QUARP

Reactive Programming