Guarded operations, refinement and simulation

Reeves, Steve; Streader, David

doi:10.1016/j.entcs.2009.12.024

Files

Guarded operations.pdf

153.4Kb

DOI

10.1016/j.entcs.2009.12.024

Citation

Export citation

Reeves, S. & Streader, D. (2009). Guarded operations, refinement and simulation. Electronic Notes in Theoretical Computer Science, 259, 177-191.

Permanent Research Commons link: https://hdl.handle.net/10289/3722

Abstract

Simulation 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.

Date

2009

Type

Journal Article

Publisher

Elsevier

Rights

Collections

Computing and Mathematical Sciences Papers [1206]