Relativity and Abstract State Machines

Edel Sherratt. Relativity and Abstract State Machines. In Øystein Haugen, Rick Reed, Reinhard Gotzhein, editors, System Analysis and Modeling: Theory and Practice - 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers. Volume 7744 of Lecture Notes in Computer Science, pages 105-120, Springer, 2012. [doi]