2678 search results - page 344 / 536 » Operational Semantics of Transactions |
154
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
135
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
134
click to vote
FMCO
2005
Springer
15 years 10 months ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...
157
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
147
click to vote
ICDCIT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...