Forward and Backward Simulations Part I: Untimed Systems (Replaces TM-486)
| dc.contributor.author | Lynch, Nancy A. | en_US |
| dc.contributor.author | Vaandrager, Frits | en_US |
| dc.date.accessioned | 2023-03-29T14:36:45Z | |
| dc.date.available | 2023-03-29T14:36:45Z | |
| dc.date.issued | 1993-03 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149207 | |
| dc.description.abstract | A unified, comprehensive presentation of simulation techniques for verification of concurrent systems is given, in terms of a simple untimed automaton model. In particular, (1) refinements, (2) forward and backward simulations, (3) hybrid forward-backward and backward-forward simulations, and (4) history and prophecy relations are defined. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TM-486b | |
| dc.title | Forward and Backward Simulations Part I: Untimed Systems (Replaces TM-486) | en_US |
