Conference Proceedings

Resource-oriented deadlock analysis

Lee Naish, V Dahl, I Niemela

Logic Programming - 23rd International Conference, ICLP 2007 | SPRINGER-VERLAG BERLIN | Published : 2007

DOI: 10.1007/978-3-540-74610-2_21

University of Melbourne Researchers

Citation metrics

3Web of Science
3Scopus

Keywords

Computer Science, Information Systems
Coroutining
Deadlock Analysis
Partial Order
Floundering
Dining Philosophers
Committed Choice Nondeterminism
Concurrency
Computer Science
Science & Technology
Technology
Computer Science, Software Engineering
Computer Science, Theory & Methods