Workshops on Abstract State Machines

(formerly: Evolving Algebras Project)

2. ABZ 2010: Orford, QC, Canada

Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (Eds.): Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Lecture Notes in Computer Science 5977 Springer 2010, ISBN 978-3-642-11810-4
Contents

Egon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca (Eds.): Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. Lecture Notes in Computer Science 5238 Springer 2008, ISBN 978-3-540-87602-1
Contents

Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France. 2005
Contents

Wolf Zimmermann, Bernhard Thalheim (Eds.): Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings. Lecture Notes in Computer Science 3052 Springer 2004, ISBN 3-540-22094-1
Contents

Egon Börger, Angelo Gargantini, Elvinia Riccobene (Eds.): Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Lecture Notes in Computer Science 2589 Springer 2003, ISBN 3-540-00624-9
Contents

Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (Eds.): Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings. Lecture Notes in Computer Science 1912 Springer 2000, ISBN 3-540-67959-6
Contents

Uwe Glässer, Peter H. Schmitt (Eds.): Fifth International Workshop on Abstract State Machines, Proceedings, Magdeburg, Germany, September 21-22, GI Jahrestagung
Contents - ASM 1998 Magdeburg Home Page

held during the IFIP World Computer Congress