K
[KS83] Paris C. Kanellakis and Scott A. Smolka. CCS expressions finite state processes, and three problems of equivalence. In PODC'83, pages 228-240. ACM Press, August 1983. 
@inproceedings{podc1983-KS,
  author =              {Kanellakis, Paris C. and Smolka, Scott A.},
  title =               {{CCS} expressions finite state processes, and three
                         problems of equivalence},
  booktitle =           {{P}roceedings of the 2nd {ACM} {S}ymposium on
                         {P}rinciples of {D}istributed {C}omputing
                         ({PODC}'83)},
  acronym =             {{PODC}'83},
  publisher =           {ACM Press},
  pages =               {228-240},
  year =                {1983},
  month =               aug,
}
List of authors