%0 Journal Article %1 journals/apal/GhicaM08 %A Ghica, Dan R. %A Murawski, Andrzej S. %D 2008 %J Ann. Pure Appl. Log. %K dblp %N 2-3 %P 89-114 %T Angelic semantics of fine-grained concurrency. %U http://dblp.uni-trier.de/db/journals/apal/apal151.html#GhicaM08 %V 151

@article{journals/apal/GhicaM08, added-at = {2020-02-21T00:00:00.000+0100}, author = {Ghica, Dan R. and Murawski, Andrzej S.}, biburl = {https://www.bibsonomy.org/bibtex/2138947415914653fe4bc69760c9407a1/dblp}, ee = {https://doi.org/10.1016/j.apal.2007.10.005}, interhash = {7c2d89a3043003b5196aebe834bed7bf}, intrahash = {138947415914653fe4bc69760c9407a1}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = {2-3}, pages = {89-114}, timestamp = {2020-02-22T12:46:09.000+0100}, title = {Angelic semantics of fine-grained concurrency.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal151.html#GhicaM08}, volume = 151, year = 2008 }