A CCS-based Investigation of Deadlock in a Multi-process Electronic Mail System - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Gordon J. Brebner. A CCS-based Investigation of Deadlock in a Multi-process Electronic Mail System. Formal Asp. Comput., 5(5):467-478, 1993.

@article{Brebner93,
  title = {A CCS-based Investigation of Deadlock in a Multi-process Electronic Mail System},
  author = {Gordon J. Brebner},
  year = {1993},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/Brebner93},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {5},
  number = {5},
  pages = {467-478},
}

runs on WebDSL