Turning SOS rules into equations
type: Item
instance of: scholarly article
title: Turning SOS rules into equations
zbMATH Open document ID: 0822.68059
author: Luca Aceto
author: Bard Bloom
author: F. Vaandrager
published in: Information and Computation
publication date: 1994-06-19T00:00:00Z
full work available at URL: turning-sos-rules-into-equations(e53e57c4-f362-4f0f-bd42-47d25ca5bdd6).html
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 590753
zbMATH Keywords: structural operational semantics
MaRDI profile type: Publication
OpenAlex ID: W2105135809
DOI: 10.1006/INCO.1994.1040
Recommended article: A hierarchy of SOS rule formats
Recommended article: Solving systems of equivalentions
Recommended article: Q3490956
Recommended article: Solving Equations by Graph Transformation
description: scientific article; zbMATH DE number 590753