93 search results - page 3 / 19 » Dependency-Based Action Refinement |
FAC
2010
13 years 6 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
14 years 18 days ago
1989
IEEE
FTDCS
1995
IEEE
14 years 3 days ago
1995
IEEE
ENTCS
2008
13 years 8 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...
MEMOCODE
2010
IEEE
13 years 6 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...