906 search results - page 5 / 182 » Linking Theories of Concurrency |
LICS
1998
IEEE
15 years 1 months ago
1998
IEEE
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
IANDC
2010
14 years 7 months ago
2010
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
LATA
2009
Springer
15 years 4 months ago
2009
Springer
IANDC
2008
14 years 9 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...