@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
}

{"_id":"yNJTrCBEXX4az2i8h","bibbaseid":"hung-knuth-anoninterleavingsemanticsforcommunicatingsequentialprocessesafixedpointapproach-1988","authorIDs":[],"author_short":["Hung, D. V.","Knuth, E."],"bibdata":{"bibtype":"article","type":"article","added-at":"2013-07-09T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Hung"],"firstnames":["Dang","Van"],"suffixes":[]},{"propositions":[],"lastnames":["Knuth"],"firstnames":["Elöd"],"suffixes":[]}],"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","bibtex":"@article{journals/actaC/HungK88,\n added-at = {2013-07-09T00:00:00.000+0200},\n author = {Hung, Dang Van and Knuth, Elöd},\n biburl = {https://www.bibsonomy.org/bibtex/228797e1ef86de9b3eb996726f7af9cbd/dblp},\n ee = {http://www.inf.u-szeged.hu/actacybernetica/edb/vol08n3/Hung_1988_ActaCybernetica.xml},\n interhash = {622d8ef761e9202c67782953e91d8df1},\n intrahash = {28797e1ef86de9b3eb996726f7af9cbd},\n journal = {Acta Cybern.},\n keywords = {dblp},\n number = 3,\n pages = {293-314},\n timestamp = {2013-08-13T12:47:25.000+0200},\n title = {A noninterleaving semantics for communicating sequential processes: a fixed-point approach.},\n url = {http://dblp.uni-trier.de/db/journals/actaC/actaC8.html#HungK88},\n volume = 8,\n year = 1988\n}\n\n","author_short":["Hung, D. V.","Knuth, E."],"key":"journals/actaC/HungK88","id":"journals/actaC/HungK88","bibbaseid":"hung-knuth-anoninterleavingsemanticsforcommunicatingsequentialprocessesafixedpointapproach-1988","role":"author","urls":{"Link":"http://www.inf.u-szeged.hu/actacybernetica/edb/vol08n3/Hung_1988_ActaCybernetica.xml","Paper":"http://dblp.uni-trier.de/db/journals/actaC/actaC8.html#HungK88"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/knuth?items=1000","creationDate":"2020-09-02T04:23:16.474Z","downloads":0,"keywords":["dblp"],"search_terms":["noninterleaving","semantics","communicating","sequential","processes","fixed","point","approach","hung","knuth"],"title":"A noninterleaving semantics for communicating sequential processes: a fixed-point approach.","year":1988,"dataSources":["itEMDWSsMF4yAjQgP"]}