5499 search results - page 15 / 1100 » Generalized Rewrite Theories |
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
KBSE
2000
IEEE
14 years 52 min ago
2000
IEEE
Circular coinductive rewriting is a new method for proving behavioral properties, that combines behavioral rewriting with circular coinduction. This method is implemented in our n...
AGTIVE
2007
Springer
14 years 1 months ago
2007
Springer
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
