@Inproceedings{EPTCS89.2, author = {Bonsangue, Marcello M. and Milius, Stefan and Rot, Jurriaan}, year = {2012}, title = {On the specification of operations on the rational behaviour of systems}, editor = {Luttik, Bas and Reniers, Michel A.}, booktitle = {{\rm Proceedings Combined 19th International Workshop on} Expressiveness in Concurrency {\rm and 9th Workshop on} Structured Operational Semantics, {\rm Newcastle upon Tyne, UK, September 3, 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {89}, publisher = {Open Publishing Association}, pages = {3-18}, doi = {10.4204/EPTCS.89.2}, }