%0 Journal Article %1 journals/jlp/OweM17 %A Owe, Olaf %A McDowell, Charlie %D 2017 %J J. Log. Algebraic Methods Program. %K dblp %P 158-175 %T On detecting over-eager concurrency in asynchronously communicating concurrent object systems. %U http://dblp.uni-trier.de/db/journals/jlp/jlp90.html#OweM17 %V 90

@article{journals/jlp/OweM17, added-at = {2020-02-22T00:00:00.000+0100}, author = {Owe, Olaf and McDowell, Charlie}, biburl = {https://www.bibsonomy.org/bibtex/20263e31f7884629718d4f198e527805a/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2017.02.005}, interhash = {1b0f7e8b09be923493552a925ef821f1}, intrahash = {0263e31f7884629718d4f198e527805a}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, pages = {158-175}, timestamp = {2020-02-25T11:42:08.000+0100}, title = {On detecting over-eager concurrency in asynchronously communicating concurrent object systems.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp90.html#OweM17}, volume = 90, year = 2017 }