A noninterleaving semantics for communicating sequential processes: a fixed-point approach. Hung, D. V. & Knuth, E. Acta Cybern., 8(3):293-314, 1988.
A noninterleaving semantics for communicating sequential processes: a fixed-point approach. [link]Link  A noninterleaving semantics for communicating sequential processes: a fixed-point approach. [link]Paper  bibtex   
@article{journals/actaC/HungK88,
  added-at = {2013-07-09T00:00:00.000+0200},
  author = {Hung, Dang Van and Knuth, Elöd},
  biburl = {https://www.bibsonomy.org/bibtex/228797e1ef86de9b3eb996726f7af9cbd/dblp},
  ee = {http://www.inf.u-szeged.hu/actacybernetica/edb/vol08n3/Hung_1988_ActaCybernetica.xml},
  interhash = {622d8ef761e9202c67782953e91d8df1},
  intrahash = {28797e1ef86de9b3eb996726f7af9cbd},
  journal = {Acta Cybern.},
  keywords = {dblp},
  number = 3,
  pages = {293-314},
  timestamp = {2013-08-13T12:47:25.000+0200},
  title = {A noninterleaving semantics for communicating sequential processes: a fixed-point approach.},
  url = {http://dblp.uni-trier.de/db/journals/actaC/actaC8.html#HungK88},
  volume = 8,
  year = 1988
}

Downloads: 0