The following pages link to Esterel (Q31835):
Displaying 5 items.
- A timed calculus for wireless systems (Q650891) (← links)
- An observational theory for mobile ad hoc networks (full version) (Q1012124) (← links)
- TTL: A modular language for hardware/software systems design. (Q1400574) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- Algorithmic-level specification and characterization of embedded multimedia applications with Design Trotter (Q2432129) (← links)
