317 search results - page 6 / 64 » Snap-Stabilization in Message-Passing Systems |
140
click to vote
FSTTCS
2007
Springer
15 years 11 months ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
154
Voted
EDCC
2010
Springer
15 years 9 months ago
2010
Springer
126
Voted
HPDC
1996
IEEE
15 years 9 months ago
1996
IEEE
IPL
2008
15 years 5 months ago
2008
99
Voted
HICSS
2010
IEEE
15 years 12 months ago
2010
IEEE
