15 search results - page 3 / 3 » Retrenchment and the Mondex Electronic Purse |
FAC
2008
13 years 5 months ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
IFM
2007
Springer
13 years 11 months ago
2007
Springer
FAC
2010
13 years 3 months ago
2010
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...
ENTCS
2008
13 years 5 months ago
2008
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an atomic action as a family of transitions with a common before-state, and differ...
JUCS
2008
13 years 5 months ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...