%0 Conference Paper %1 conf/esop/NanevskiLSD14 %A Nanevski, Aleksandar %A Ley-Wild, Ruy %A Sergey, Ilya %A Delbianco, Germán Andrés %B ESOP %D 2014 %E Shao, Zhong %I Springer %K dblp %P 290-310 %T Communicating State Transition Systems for Fine-Grained Concurrent Resources. %U http://dblp.uni-trier.de/db/conf/esop/esop2014.html#NanevskiLSD14 %V 8410 %@ 978-3-642-54832-1

@inproceedings{conf/esop/NanevskiLSD14, added-at = {2018-11-02T00:00:00.000+0100}, author = {Nanevski, Aleksandar and Ley-Wild, Ruy and Sergey, Ilya and Delbianco, Germán Andrés}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2dd80efe33709da2e734212a3f7aa6916/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2014}, editor = {Shao, Zhong}, ee = {https://doi.org/10.1007/978-3-642-54833-8_16}, interhash = {05be52a47f540d34749d2c7e312382b3}, intrahash = {dd80efe33709da2e734212a3f7aa6916}, isbn = {978-3-642-54832-1}, keywords = {dblp}, pages = {290-310}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:30:18.000+0200}, title = {Communicating State Transition Systems for Fine-Grained Concurrent Resources.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2014.html#NanevskiLSD14}, volume = 8410, year = 2014 }