%0 Journal Article %1 journals/actaC/HungK88 %A Hung, Dang Van %A Knuth, Elöd %D 1988 %J Acta Cybern. %K dblp %N 3 %P 293-314 %T A noninterleaving semantics for communicating sequential processes: a fixed-point approach. %U http://dblp.uni-trier.de/db/journals/actaC/actaC8.html#HungK88 %V 8

@article{journals/actaC/HungK88, added-at = {2013-07-09T00:00:00.000+0200}, author = {Hung, Dang Van and Knuth, Elöd}, biburl = {https://puma.ub.uni-stuttgart.de/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 = {2016-02-02T10:14:29.000+0100}, 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 }