Forward and Backward Simulations Part I : Untimed Systems

  title={Forward and Backward Simulations Part I : Untimed Systems},
  author={Nancy A. Lynch},
A uni ed, comprehensive presentation of simulation techniques for veri cation of concurrent systems is given, in terms of a simple untimed automaton model. In particular, (1) re nements, (2) forward and backward simulations, (3) hybrid forward-backward and backward-forward simulations, and (4) history and prophecy relations are de ned. History and prophecy relations are abstract versions of the history and prophecy variables of Abadi and Lamport, as well as the auxiliary variables of Owicki and… CONTINUE READING
Highly Influential
This paper has highly influenced a number of papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 270 citations. REVIEW CITATIONS

4 Figures & Tables



Citations per Year

271 Citations

Semantic Scholar estimates that this publication has 271 citations based on the available data.

See our FAQ for additional information.