@article{Aceto_Fokkink_Verhoef_1999, title={Structural Operational Semantics}, volume={6}, url={https://tidsskrift.dk/brics/article/view/20099}, DOI={10.7146/brics.v6i30.20099}, abstractNote={The importance of giving precise semantics to programming and specification<br />languages was recognized since the sixties with the development of the<br />first high-level programming languages (cf. e.g. [30, 206] for some early accounts).<br />The use of operational semantics - i.e. of a semantics that explicitly<br />describes how programs compute in stepwise fashion, and the possible<br />state-transformations they perform - was already advocated by McCarthy<br />in [147], and elaborated upon in references like [142, 143]. Examples of full-blown<br />languages that have been endowed with an operational semantics are<br />Algol 60 [140], PL/I [173], and CSP [178].}, number={30}, journal={BRICS Report Series}, author={Aceto, Luca and Fokkink, Willem Jan and Verhoef, Chris}, year={1999}, month={Jan.} }