All About Maude - A High-Performance Logical Framework How to Specify, Program, and Verify Systems in Rewriting Logic /

by Clavel, Manuel., Clavel, Manuel., Durán, Francisco., Eker, Steven., Lincoln, Patrick., Martí-Oliet, Narciso., Meseguer, José., Talcott, Carolyn.
Published 2007

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Published 2008

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /

Published 2014

Formal Modeling: Actors; Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /

Published 2011

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /

Published 2006

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /

Published 2008