%0 Journal Article %1 journals/tse/Gorlatch00 %A Gorlatch, Sergei %D 2000 %J IEEE Trans. Software Eng. %K dblp %N 3 %P 276-288 %T Toward Formally-Based Design of Message Passing Programs. %U http://dblp.uni-trier.de/db/journals/tse/tse26.html#Gorlatch00 %V 26

@article{journals/tse/Gorlatch00, added-at = {2015-12-10T00:00:00.000+0100}, author = {Gorlatch, Sergei}, biburl = {https://www.bibsonomy.org/bibtex/273626a254cffd7b907949016539a7200/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.842952}, interhash = {4ae0de96149f96dc17b0d9bed1c9815f}, intrahash = {73626a254cffd7b907949016539a7200}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 3, pages = {276-288}, timestamp = {2015-12-12T11:52:47.000+0100}, title = {Toward Formally-Based Design of Message Passing Programs.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse26.html#Gorlatch00}, volume = 26, year = 2000 }