Krishnaprasad Thirunarayan, Robert L. Ewing. Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93. Formal Methods in System Design, 18(1):69-88, 2001.
@article{ThirunarayanE01,
title = {Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93},
author = {Krishnaprasad Thirunarayan and Robert L. Ewing},
year = {2001},
tags = {semantics, structural operational semantics, operational semantics},
researchr = {https://researchr.org/publication/ThirunarayanE01},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {18},
number = {1},
pages = {69-88},
}