%0 Journal Article %1 reed %A Reed, G.M. %A Roscoe, A.W. %D 1988 %J Theoretical Computer Science %K BPM collection imported %P 249--261 %T A timed model for communicating sequential processes %V 58

@article{reed, added-at = {2012-11-22T19:17:38.000+0100}, author = {Reed, {G.M.} and Roscoe, {A.W.}}, biburl = {https://www.bibsonomy.org/bibtex/265198ecb84ea56ef083c657a8d5fba15/wvdaalst}, interhash = {b09824f3cb70aa231fbc316552b77479}, intrahash = {65198ecb84ea56ef083c657a8d5fba15}, journal = {Theoretical Computer Science}, keywords = {BPM collection imported}, month = { June}, pages = {249--261}, timestamp = {2012-11-22T19:22:26.000+0100}, title = {{A timed model for communicating sequential processes}}, volume = 58, year = 1988 }