# Bib file @inproceedings{KlinSobocinski2003, author = {B. Klin and P. Sobocinski}, title = {Syntactic Formats for Free: An Abstract Approach to Process Equivalence}, booktitle = {Proc. CONCUR 2003}, editor = {R. Amadio and D. Lugiez}, series = {LNCS}, volume = {2671}, year = {2003} }