93 search results - page 3 / 19 » Dependency-Based Action Refinement |
FAC
2010
14 years 9 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...
LICS
1989
IEEE
15 years 3 months ago
1989
IEEE
FTDCS
1995
IEEE
15 years 3 months ago
1995
IEEE
77
Voted
ENTCS
2008
14 years 11 months ago
2008
In the previous, companion, paper [13] to this paper we introduced our general model of refinement, discussed ideas around determinism and interfaces that the general definition r...
110
click to vote
MEMOCODE
2010
IEEE
14 years 9 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...