75
Voted
FORTE
2004
14 years 11 months ago
2004
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...