Gian Luigi Ferrari, Ugo Montanari. Parameterized Structured Operational Semantics. Fundamenta Informaticae, 34(1-2):1-31, 1998.
@article{FerrariM98, title = {Parameterized Structured Operational Semantics}, author = {Gian Luigi Ferrari and Ugo Montanari}, year = {1998}, tags = {semantics, operational semantics}, researchr = {https://researchr.org/publication/FerrariM98}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {34}, number = {1-2}, pages = {1-31}, }