Publications:Prototyping SOS meta-theory in Maude

From CERES
Revision as of 04:43, 26 June 2014 by Slawek (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title Prototyping SOS meta-theory in Maude
Author Mohammad Reza Mousavi and M. A. Reniers
Year 2006
PublicationType Conference Paper
Journal
HostPublication Proceedings of the 2nd Workshop on Structural Operational Semantics (SOS2005, Lisbon, Portugal, July 10, 2005; satellite to ICALP2005)
DOI http://dx.doi.org/10.1016/j.entcs.2005.09.030
Conference 2nd Workshop on Structural Operational Semantics (SOS 2005), Lisbon, Portugal, July 10, 2005; satellite to ICALP200
Diva url http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584690
Abstract