5451 search results - page 72 / 1091 » Typed Operational Semantics |
161
click to vote
DAGSTUHL
2003
15 years 8 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...
162
click to vote
SAJ
2000
15 years 6 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...
180
click to vote
FMCAD
2004
Springer
16 years 5 hour 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...
283
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
168
click to vote
TRUSTBUS
2009
Springer
16 years 1 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...