@Inproceedings{EPTCS62.3, author = {Rathnayake, Asiri and Thielecke, Hayo}, year = {2011}, title = {Regular Expression Matching and Operational Semantics}, editor = {Reniers, M.A. and Sobocinski, P.}, booktitle = {{\rm Proceedings Eight Workshop on} Structural Operational Semantics 2011, {\rm Aachen, Germany, 5th September 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {62}, publisher = {Open Publishing Association}, pages = {31-45}, doi = {10.4204/EPTCS.62.3}, }