Syntactic Formats for Free: An Abstract Approach to Process Equivalence (bibtex)

by Bartek Klin and Paweł Sobociński

Reference:

Bartek Klin and Paweł Sobociński, Syntactic Formats for Free: An Abstract Approach to Process Equivalence, In International Conference on Concurrency Theory, Concur '03, Springer, vol. 2620, pp. 72–86, 2003.

Bibtex Entry:

@string{lncs="LNCS"}
@InProceedings{ concur03,
  author = 	   {Bartek Klin and Pawe{\l} Soboci{\'{n}}ski},
  title = 	   {Syntactic Formats for Free: An Abstract Approach to Process Equivalence},
  booktitle =  {International Conference on Concurrency Theory, {Concur '03}},
  pages = 	   {72--86},
  year = 	   {2003},
  volume = 	   {2620},
  series = 	   lncs,
  publisher =  {Springer}
}