Sciweavers

466 search results - page 94 / 94
» Exception Handling in Agent Systems
Sort
View
FAC
2010
107views more  FAC 2010»
15 years 22 days ago
Atomic actions, and their refinements to isolated protocols
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...
Richard Banach, Gerhard Schellhorn