%0 Journal Article %1 journals/tcs/BonsangueABRSZ00 %A Bonsangue, Marcello M. %A Arbab, Farhad %A de Bakker, J. W. %A Rutten, Jan J. M. M. %A Secutella, A. %A Zavattaro, Gianluigi %D 2000 %J Theor. Comput. Sci. %K dblp %N 1 %P 3-47 %T A transition system semantics for the control-driven coordination language MANIFOLD. %U http://dblp.uni-trier.de/db/journals/tcs/tcs240.html#BonsangueABRSZ00 %V 240

@article{journals/tcs/BonsangueABRSZ00, added-at = {2021-02-17T00:00:00.000+0100}, author = {Bonsangue, Marcello M. and Arbab, Farhad and de Bakker, J. W. and Rutten, Jan J. M. M. and Secutella, A. and Zavattaro, Gianluigi}, biburl = {https://www.bibsonomy.org/bibtex/23195e5f4e9b93bc8f689f53a0305f492/dblp}, ee = {https://doi.org/10.1016/S0304-3975(99)00226-1}, interhash = {c87cf68d1ad17132e1a84321d5e854be}, intrahash = {3195e5f4e9b93bc8f689f53a0305f492}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {3-47}, timestamp = {2024-04-08T18:49:21.000+0200}, title = {A transition system semantics for the control-driven coordination language MANIFOLD.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs240.html#BonsangueABRSZ00}, volume = 240, year = 2000 }