Semantics and expressiveness of ordered SOS
type: Item
instance of: scholarly article
title: Semantics and expressiveness of ordered SOS
zbMATH Open document ID: 1165.68045
author: J. Martínez
published in: Information and Computation
publication date: 2009-04-14T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5543801
zbMATH Keywords: Structured Operational Semantics
MaRDI profile type: Publication
full work available at URL: j.ic.2007.11.008
OpenAlex ID: W2152688610
Wikidata QID: Q57745681
cites work: Structural operational semantics.
cites work: Termination, deadlock, and divergence
cites work: Q4727412
cites work: Term-rewriting systems with rule priorities
cites work: Bisimulation can't be traced
cites work: The meaning of negative premises in transition system specifications
cites work: \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
cites work: Q3753475
cites work: The meaning of negative premises in transition system specifications. II
cites work: Transition system specifications with negative premises
cites work: Structured operational semantics and bisimulation as a congruence
cites work: A process algebra for timed systems
cites work: Foundations of Software Science and Computational Structures
cites work: Priority rewriting: Semantics, confluence, and conditionals
cites work: The Meaning of Ordered SOS
cites work: A congruence rule format with universal quantification
cites work: A structural approach to operational semantics
cites work: Operational semantics of rewriting with priorities
cites work: Q3486858
cites work: Higher-level synchronising devices in Meije-SCCS
cites work: Ordered SOS process languages for branching and eager bisimulations
cites work: Structural operational semantics with first-order logic
DOI: 10.1016/J.IC.2007.11.008
description: scientific article; zbMATH DE number 5543801