Resource-Oriented Deadlock Analysis

DOI10.1007/978-3-540-74610-2_21zbMath1213.68192OpenAlexW1480165561MaRDI QIDQ3608662

Lee Naish

Publication date: 5 March 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74610-2_21

zbMATH Keywords

partial orderconcurrencyflounderingdeadlock analysisdining philosopherscoroutiningcommitted choice nondeterminism

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic programming (68N17)

This page was built for publication: Resource-Oriented Deadlock Analysis