tag : Maude
3
talk
Maude: A Language for Concurrent Rewriting (Computational Models and Languages LM, 29/11/2007) — Matteo Casadei (Matteo Casadei)
The Role of Formal Methods in Modeling and Simulating Today's Distributed Software Systems (Final Report about the First Two Years of Matteo Casadei's Phd Course, 06/11/2007) — Matteo Casadei (Matteo Casadei)
Introduction to Maude rewriting language (Computational Models and Languages - Master Degree on Computer Science Engineering of II Faculty of Engineering at Università di Bologna (Cesena), 23/11/2006) — Matteo Casadei (Matteo Casadei)