%0 Journal Article %1 journals/entcs/CavalcantiSW02 %A Cavalcanti, Ana %A Sampaio, Augusto %A Woodcock, Jim %D 2002 %J Electron. Notes Theor. Comput. Sci. %K %N 3 %P 132-162 %T Refinement of actions in Circus. %U http://dblp.uni-trier.de/db/journals/entcs/entcs70.html#CavalcantiSW02 %V 70

@article{journals/entcs/CavalcantiSW02, added-at = {2023-12-12T23:51:47.000+0100}, author = {Cavalcanti, Ana and Sampaio, Augusto and Woodcock, Jim}, biburl = {https://www.bibsonomy.org/bibtex/21848527abd5cb8aeb647b12b7a929137/admin}, ee = {https://doi.org/10.1016/S1571-0661(05)80489-X}, interhash = {5b5b39987bbf0e4f0462f59fb9e63cbd}, intrahash = {1848527abd5cb8aeb647b12b7a929137}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, number = 3, pages = {132-162}, timestamp = {2023-12-12T23:51:47.000+0100}, title = {Refinement of actions in Circus.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs70.html#CavalcantiSW02}, volume = 70, year = 2002 }