Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/action.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio, and Lothar Thiele, "Generating an Action Notation Environment from Montages Descriptions", Proceedings of the 2nd International Workshop on Action Semantics (AS'99), University of Aarhus, Department of Computer Science BRICS Notes Series NS-99-3, March 1999. |
|---|---|
| Summary: | Montages are used to provide executable semantics for Action Notation, another formal specification methodology. |
| Subjects: | Other Models of Computation, Montages |
| Download: | PostScript, PDF, Compressed PostScript. |
| Notes: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/action.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT