%0 Journal Article %1 davies_03_concurrency %A Davies, Jim %A Crichton, Charles %D 2003 %J Formal Aspects of Computing %K concurrent\_systems refinement 2003 \_pdf csp uml %N 2 %P 118--145 %R http://dx.doi.org/10.1007/s00165-003-0008-3 %T Concurrency and Refinement in the Unified Modeling Language %U http://dx.doi.org/10.1007/s00165-003-0008-3 %V V15

@article{davies_03_concurrency, added-at = {2009-03-10T04:51:55.000+0100}, author = {Davies, Jim and Crichton, Charles}, biburl = {https://www.bibsonomy.org/bibtex/24f45e178d06aa4e4fe98c9b8661c9ce3/leonardo}, citeulike-article-id = {887539}, doi = {http://dx.doi.org/10.1007/s00165-003-0008-3}, interhash = {2d66634b4ab8b3c36ea9150d7f89ee60}, intrahash = {4f45e178d06aa4e4fe98c9b8661c9ce3}, journal = {Formal Aspects of Computing}, keywords = {concurrent\_systems refinement 2003 \_pdf csp uml}, month = {November}, number = 2, pages = {118--145}, posted-at = {2006-10-06 21:03:06}, priority = {4}, timestamp = {2009-03-10T04:51:55.000+0100}, title = {Concurrency and Refinement in the Unified Modeling Language}, url = {http://dx.doi.org/10.1007/s00165-003-0008-3}, volume = {V15}, year = 2003 }