Prototyping SOS meta-theory in Maude 2006 (English)In: Proceedings of the 2nd Workshop on Structural Operational Semantics (SOS2005, Lisbon, Portugal, July 10, 2005; satellite to ICALP2005), Amsterdam: Elsevier, 2006, Vol. 156(1), p. 135-150Conference paper, Published paper (Refereed)

Place, publisher, year, edition, pages

Amsterdam: Elsevier, 2006. Vol. 156(1), p. 135-150

Series

Electronic Notes in Theoretical Computer Science, ISSN 1571-0661

Keywords [en]

Formal Semantics, Language Prototyping, Maude, Structural Operational Semantics, Term Rewriting

National Category

Computer and Information Sciences

Identifiers

URN: urn:nbn:se:hh:diva-20476DOI: 10.1016/j.entcs.2005.09.030Scopus ID: 2-s2.0-33646383840OAI: oai:DiVA.org:hh-20476DiVA, id: diva2:584690

Conference

2nd Workshop on Structural Operational Semantics (SOS 2005), Lisbon, Portugal, July 10, 2005; satellite to ICALP200

Available from: 2013-01-09 Created: 2013-01-08 Last updated: 2018-01-11Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Mousavi, Mohammad Reza

Search in DiVA

By author/editor

Mousavi, Mohammad Reza

On the subject

Computer and Information Sciences

Search outside of DiVA

GoogleGoogle ScholarTotal: 88 hits