@article{Kanellakis_1990,
    doi = {10.1016/0890-5401(90)90025-d},
    url = {https://doi.org/10.1016%2F0890-5401%2890%2990025-d},
    year = {1990},
    month = {may},
    publisher = {Elsevier {BV}},
    volume = {86},
    number = {1},
    pages = {43--68},
    author = {Paris C. Kanellakis and Scott A. Smolka},
    title = {{CCS} expressions, finite state processes, and three problems of equivalence},
    journal = {Information and Computation}
}

@article{Kanellakis_1990, doi = {10.1016/0890-5401(90)90025-d}, url = {https://doi.org/10.1016%2F0890-5401%2890%2990025-d}, year = {1990}, month = {may}, publisher = {Elsevier {BV}}, volume = {86}, number = {1}, pages = {43--68}, author = {Paris C. Kanellakis and Scott A. Smolka}, title = {{CCS} expressions, finite state processes, and three problems of equivalence}, journal = {Information and Computation} }