Publications:Prototyping SOS meta-theory in Maude
From CERES
| 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 |
