Peter D. Mosses. Exploiting Labels in Structural Operational Semantics. Fundamenta Informaticae, 60(1-4):17-31, 2004. [doi]
@article{Mosses-FI-2004,
title = {Exploiting Labels in Structural Operational Semantics},
author = {Peter D. Mosses},
year = {2004},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=60&issue=1&spage=17},
tags = {semantics, structural operational semantics, operational semantics},
researchr = {https://researchr.org/publication/Mosses-FI-2004},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {60},
number = {1-4},
pages = {17-31},
}