690 search results - page 32 / 138 » Testing Temporal Logic Properties in Distributed Systems |
107
Voted
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
105
Voted
SACMAT
2009
ACM
15 years 7 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
103
Voted
ENTCS
2011
14 years 4 months ago
2011
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
99
Voted
COORDINATION
2009
Springer
16 years 1 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...