Constructing Programs or Processes

Steve Reeves, David Streader. Constructing Programs or Processes. J. UCS, 11(12):2034-2045, 2005. [doi]

@article{ReevesS05,
  title = {Constructing Programs or Processes},
  author = {Steve Reeves and David Streader},
  year = {2005},
  url = {http://www.jucs.org/jucs_11_12/constructing_programs_or_processes},
  researchr = {https://researchr.org/publication/ReevesS05},
  cites = {0},
  citedby = {0},
  journal = {J. UCS},
  volume = {11},
  number = {12},
  pages = {2034-2045},
}