A syntactic commutativity format for SOS
type: Item
instance of: scholarly article
title: A syntactic commutativity format for SOS
zbMATH Open document ID: 1173.68561
author: Mohammadreza Mousavi
author: Michel A. Reniers
author: Jan Friso Groote
published in: Information Processing Letters
publication date: 2009-08-27T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5599209
zbMATH Keywords: formal semantics
zbMATH Keywords: structural operational semantics (SOS)
zbMATH Keywords: standard SOS formats
zbMATH Keywords: commutativity
Wikidata QID: Q57745762
MaRDI profile type: Publication
OpenAlex ID: W2105133485
cites work: A structural approach to operational semantics
cites work: Structural operational semantics.
cites work: Turning SOS rules into equations
cites work: Q4736873
cites work: Finite axiom systems for testing preorder and De Simone process languages
cites work: Structured operational semantics and bisimulation as a congruence
cites work: Q4847024
cites work: Q3907077
cites work: \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
cites work: The meaning of negative premises in transition system specifications
cites work: Transition system specifications with negative premises
cites work: The meaning of negative premises in transition system specifications. II
DOI: 10.1016/J.IPL.2004.11.007
description: scientific article; zbMATH DE number 5599209