Media type: E-Article Title: Deadlock checking by a behavioral effect system for lock handling Contributor: Pun, Ka I.; Steffen, Martin; Stolz, Volker imprint: Elsevier BV, 2012 Published in: The Journal of Logic and Algebraic Programming Language: English DOI: 10.1016/j.jlap.2011.11.001 ISSN: 1567-8326 Keywords: Computational Theory and Mathematics ; Logic ; Theoretical Computer Science ; Software Origination: Footnote: Access State: Open Access