512 search results - page 21 / 103 » Reasoning about Asynchronous Behaviour in Distributed System... |
FROCOS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
73
Voted
BIRTHDAY
2004
Springer
15 years 1 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
59
Voted
ENTCS
2007
14 years 9 months ago
2007
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...
OPODIS
2007
14 years 11 months ago
2007
We present a novel translation of systems that are tolerant of crash failures to systems that are tolerant of Byzantine failures in an asynchronous environment, making weaker assum...
61
Voted
ECIS
2004
14 years 11 months ago
2004
This research studied the effects of a Group Decision Support System (GDSS) for face-to-face negotiations in three-person groups. The GDSS equipped the groups with full informatio...