82
Voted
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper shows how an architecture description notation that has support for timed events can be used to provide a meta-language for specifying exact communication semantics. Th...