AbstractSimulation rules have long been used as an effective computational means to decide refinement relations in state-based formalisms. Here we investigate how they might be amended so as to decide the event-based notion of singleton failures refinement of abstract data types, or processes, that have operations with a “guarded” interpretation
In this paper we give simple example abstract data types, with atomic operations, that are related b...
AbstractIn this paper we compare the refinement orderings, and their associated simulation rules, of...
AbstractRefinement is the notion of development between formal specifications. For specifications gi...
Simulation rules have long been used as an effective computational means to decide refinement relati...
Simulation rules have long been used as an effective computational means to decide refinement relati...
Simulation rules have long been used as an effective computational means to decide refinement relati...
Simulation rules have long been used as an effective computational means to decide refinement relati...
Simulation rules have long been used as an effective computational means to decide refinement relati...
AbstractSimulation rules have long been used as an effective computational means to decide refinemen...
In this paper we give simple example abstract data types, with atomic operations, that are related b...
In this paper we give simple example abstract data types, with atomic operations, that are related b...
In this paper we give simple example abstract data types, with atomic operations, that are related b...
AbstractIn this paper we compare the refinement orderings, and their associated simulation rules, of...
AbstractThe definition of data refinement between datatypes is expressed in terms of all programs th...
AbstractIn recent years, we extended the theory of Abadi and Lamport (1991) on the existence of refi...
In this paper we give simple example abstract data types, with atomic operations, that are related b...
AbstractIn this paper we compare the refinement orderings, and their associated simulation rules, of...
AbstractRefinement is the notion of development between formal specifications. For specifications gi...
Simulation rules have long been used as an effective computational means to decide refinement relati...
Simulation rules have long been used as an effective computational means to decide refinement relati...
Simulation rules have long been used as an effective computational means to decide refinement relati...
Simulation rules have long been used as an effective computational means to decide refinement relati...
Simulation rules have long been used as an effective computational means to decide refinement relati...
AbstractSimulation rules have long been used as an effective computational means to decide refinemen...
In this paper we give simple example abstract data types, with atomic operations, that are related b...
In this paper we give simple example abstract data types, with atomic operations, that are related b...
In this paper we give simple example abstract data types, with atomic operations, that are related b...
AbstractIn this paper we compare the refinement orderings, and their associated simulation rules, of...
AbstractThe definition of data refinement between datatypes is expressed in terms of all programs th...
AbstractIn recent years, we extended the theory of Abadi and Lamport (1991) on the existence of refi...
In this paper we give simple example abstract data types, with atomic operations, that are related b...
AbstractIn this paper we compare the refinement orderings, and their associated simulation rules, of...
AbstractRefinement is the notion of development between formal specifications. For specifications gi...
DOI
Add to ORKG