Luca Aceto. GSOS and Finite Labelled Transition Systems. Theoretical Computer Science, 131(1):181-195, 1994.
@article{Aceto94:2, title = {GSOS and Finite Labelled Transition Systems}, author = {Luca Aceto}, year = {1994}, researchr = {https://researchr.org/publication/Aceto94%3A2}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {131}, number = {1}, pages = {181-195}, }