%0 Conference Paper %1 conf/ictac/CastroM10 %A Castro, Pablo F. %A Maibaum, T. S. E. %B ICTAC %D 2010 %E Cavalcanti, Ana %E Déharbe, David %E Gaudel, Marie-Claude %E Woodcock, Jim %I Springer %K dblp %P 322-336 %T Characterizing Locality (Encapsulation) with Bisimulation. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2010.html#CastroM10 %V 6255 %@ 978-3-642-14807-1

@inproceedings{conf/ictac/CastroM10, added-at = {2020-06-15T00:00:00.000+0200}, author = {Castro, Pablo F. and Maibaum, T. S. E.}, biburl = {https://www.bibsonomy.org/bibtex/25e8e6edbf78dbd12efec7bf8d17a0eb6/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2010}, editor = {Cavalcanti, Ana and Déharbe, David and Gaudel, Marie-Claude and Woodcock, Jim}, ee = {https://doi.org/10.1007/978-3-642-14808-8_22}, interhash = {151052ac008466bf1963bbc8631695cf}, intrahash = {5e8e6edbf78dbd12efec7bf8d17a0eb6}, isbn = {978-3-642-14807-1}, keywords = {dblp}, pages = {322-336}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:34:19.000+0200}, title = {Characterizing Locality (Encapsulation) with Bisimulation.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2010.html#CastroM10}, volume = 6255, year = 2010 }