@Inproceedings{EPTCS101.5, author = {Deng, Yuxin and Cervesato, Iliano and Simmons, Robert J.}, year = {2012}, title = {Relating Reasoning Methodologies in Linear Logic and Process Algebra}, editor = {Alves, Sandra and Mackie, Ian}, booktitle = {{\rm Proceedings 2nd International Workshop on} Linearity, {\rm Tallinn, Estonia, 1 April 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {101}, publisher = {Open Publishing Association}, pages = {50-60}, doi = {10.4204/EPTCS.101.5}, }