Olaf Owe, Charlie McDowell. On detecting over-eager concurrency in asynchronously communicating concurrent object systems. Journal of Logic and Algebraic Programming, 90:158-175, 2017. [doi]
@article{OweM17, title = {On detecting over-eager concurrency in asynchronously communicating concurrent object systems}, author = {Olaf Owe and Charlie McDowell}, year = {2017}, doi = {10.1016/j.jlamp.2017.02.005}, url = {https://doi.org/10.1016/j.jlamp.2017.02.005}, researchr = {https://researchr.org/publication/OweM17}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {90}, pages = {158-175}, }