%0 Book Section %1 Colaço1997 %A Colaco, J-L. %A Pantel, M. %A Sallé, P. %B Formal Methods for Open Object-based Distributed Systems: Volume 2 %D 1997 %E Bowman, Howard %E Derrick, John %I Springer %K Actors concurrency messages orphan %P 107--122 %R 10.1007/978-0-387-35261-9_8 %T A Set-Constraint-based analysis of Actors %@ 978-0-387-35261-9

@inbook{Colaço1997, added-at = {2017-02-09T13:21:58.000+0100}, author = {Cola{\c{c}}o, J-L. and Pantel, M. and Sall{\'e}, P.}, biburl = {https://www.bibsonomy.org/bibtex/231bde99772f5c95876a860775c6d7122/gron}, booktitle = {Formal Methods for Open Object-based Distributed Systems: Volume 2}, description = {A Set-Constraint-based analysis of Actors - Springer}, doi = {10.1007/978-0-387-35261-9_8}, editor = {Bowman, Howard and Derrick, John}, interhash = {9aa9391fd337d252659df79890efd77e}, intrahash = {31bde99772f5c95876a860775c6d7122}, isbn = {978-0-387-35261-9}, keywords = {Actors concurrency messages orphan}, pages = {107--122}, publisher = {Springer}, timestamp = {2017-02-09T13:21:58.000+0100}, title = {A Set-Constraint-based analysis of Actors}, year = 1997 }