%0 Journal Article %1 journals/fuin/BarbutiC05 %A Barbuti, Roberto %A Cataudella, Stefano %D 2005 %J Fundam. Informaticae %K dblp %N 1-3 %P 1-12 %T Abstract Interpretation of an Object Calculus for Synchronization Optimizations. %U http://dblp.uni-trier.de/db/journals/fuin/fuin67.html#BarbutiC05 %V 67

@article{journals/fuin/BarbutiC05, added-at = {2020-09-18T00:00:00.000+0200}, author = {Barbuti, Roberto and Cataudella, Stefano}, biburl = {https://www.bibsonomy.org/bibtex/2773fcc173239526ecc7ac17ae51b2af3/dblp}, ee = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-02}, interhash = {2ef060c8587b506374d5f9f5008e10e4}, intrahash = {773fcc173239526ecc7ac17ae51b2af3}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {1-3}, pages = {1-12}, timestamp = {2020-09-19T11:37:59.000+0200}, title = {Abstract Interpretation of an Object Calculus for Synchronization Optimizations.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin67.html#BarbutiC05}, volume = 67, year = 2005 }