| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings | 978-3-540-79979-5 | 2008 | Grigore Rosu |
| Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday | 978-3-540-35462-8 | 2006 | Kokichi Futatsugi · Jean-Pierre Jouannaud · Jose Meseguer |
| All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic | 978-3-540-71940-3 | 2007 | Manuel Clavel · Francisco Durán · Steven Eker · Patrick Lincoln · Narciso Martí-Oliet · Carolyn Talcott |
| Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday | 978-3-540-68676-7 | 2010 | Pierpaolo Degano · Rocco de Nicola |
| Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday | 978-3-642-24932-7 | 2011 | Gul Agha · Olivier Danvy |
| Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi | 978-3-642-54623-5 | 2014 | Shusaku Iida · Kazuhiro Ogata |