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

Publicado 2014

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

Publicado 2011

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

Publicado 2008

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

Publicado 2008

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

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

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

Publicado 2006