| Citation: | Robert Stärk and Stanislas Nanchen, "A Logic for Abstract State Machines". In L. Fribourg, ed., Computer Science Logic, Springer LNCS 2142, 2001, 217-231. |
|---|---|
| Summary: | A logic for sequential, non-distributed ASMs is presented. The logic allows for sequential and hierarchical composition; it is proven correct for non-recursive ASMs. |
| Subjects: | Logic & Computability |
| Download: | From Robert Stärk's homepage in PDF. |
| Notes: | See the full paper. |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/complogicabst.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT