99 search results - page 5 / 20 » Triggered message sequence charts |
123
Voted
QEST
2006
IEEE
15 years 9 months ago
2006
IEEE
78
Voted
AC
2003
Springer
15 years 8 months ago
2003
Springer
107
Voted
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
115
Voted
CODES
1998
IEEE
15 years 7 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
121
Voted
ICFEM
1998
Springer
15 years 7 months ago
1998
Springer
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...