2678 search results - page 54 / 536 » Operational Semantics of Transactions |
123
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
123
Voted
SAJ
2000
15 years 3 months ago
2000
This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...
150
click to vote
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
125
Voted
TRUSTBUS
2009
Springer
15 years 10 months ago
2009
Springer
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
83
Voted
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE