A noninterleaving semantics for communicating sequential processes: a fixed-point approach. Hung, D. V. & Knuth, E. Acta Cybern., 8(3):293-314, 1988.
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
{"_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"]}