%0 Conference Paper %1 Garoche:2006 %A Garoche, Pierre-Loïc %A Pantel, Marc %A Thirioux, Xavier %B Formal Methods for Open Object-Based Distributed Systems %D 2006 %E Gorrieri, Roberto %E Wehrheim, Heike %I Springer %K Actors StaticAnalysis %P 78--92 %R 10.1007/11768869_8 %T Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation %@ 978-3-540-34895-5

@inproceedings{Garoche:2006, added-at = {2017-02-09T13:33:15.000+0100}, author = {Garoche, Pierre-Lo{\"i}c and Pantel, Marc and Thirioux, Xavier}, biburl = {https://www.bibsonomy.org/bibtex/20da2cfa44a61328048d6a5b9c4083370/gron}, booktitle = {Formal Methods for Open Object-Based Distributed Systems}, description = {Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation | SpringerLink}, doi = {10.1007/11768869_8}, editor = {Gorrieri, Roberto and Wehrheim, Heike}, interhash = {7f0168bfc867f224f224bd6aadab7d49}, intrahash = {0da2cfa44a61328048d6a5b9c4083370}, isbn = {978-3-540-34895-5}, keywords = {Actors StaticAnalysis}, month = {June}, pages = {78--92}, publisher = {Springer}, series = {FMOODS 2006}, timestamp = {2017-02-09T13:33:15.000+0100}, title = {Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation}, year = 2006 }