CCS Expressions, Finite State Processes, and Three Problems of Equivalence - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Paris C. Kanellakis, Scott A. Smolka. CCS Expressions, Finite State Processes, and Three Problems of Equivalence. Inf. Comput., 86(1):43-68, May 1990.

@article{KanellakisS90,
  title = {CCS Expressions, Finite State Processes, and Three Problems of Equivalence},
  author = {Paris C. Kanellakis and Scott A. Smolka},
  year = {1990},
  month = {May},
  tags = {C++},
  researchr = {https://researchr.org/publication/KanellakisS90},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {86},
  number = {1},
  pages = {43-68},
}

runs on WebDSL