92 search results - page 19 / 19 » Formal Modelling and Verification of an Asynchronous Extensi... |
ATAL
2010
Springer
13 years 7 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
CADE
2005
Springer
14 years 6 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...