1124 search results - page 42 / 225 » Refined quorum systems |
FAC
2006
15 years 1 months ago
2006
In modular approaches to specify concurrent systems a system is built up from components using various operators as e.g. the sequential, the parallel, or the choice (+) operator. U...
118
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
We investigate the properties of a multiagent system where each (distributed) agent locally perceives its environment. Upon perception of an unexpected event, each agent locally c...
115
click to vote
SIGSOFT
2004
ACM
16 years 2 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
128
click to vote
IC3
2009
14 years 11 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
142
click to vote
DSVIS
2005
Springer
15 years 7 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...