3 search results - page 1 / 1 » Verification and Refutation of Probabilistic Specifications ... |
FSTTCS
2009
Springer
13 years 11 months ago
2009
Springer
ENTCS
2006
13 years 4 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
POPL
2008
ACM
14 years 5 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...