A syntactic commutativity format for SOS

M.R. Mousavi, M.A. Reniers, J.F. Groote

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

20 Citaten (Scopus)
1 Downloads (Pure)


Considering operators defined using Structural Operational Semantics (SOS), commutativity axioms are intuitive properties that hold for many of them. Proving this intuition is usually a laborious task, requiring several pages of boring and standard proof. To save this effort, we propose a syntactic SOS format which guarantees commutativity for a set of composition operators.
Originele taal-2Engels
Pagina's (van-tot)217-223
TijdschriftInformation Processing Letters
Nummer van het tijdschrift5
StatusGepubliceerd - 2005

Vingerafdruk Duik in de onderzoeksthema's van 'A syntactic commutativity format for SOS'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit