Toggle Main Menu Toggle Search

Open Access padlockePrints

LP Deadlock Checking Using Partial Order Dependencies

Lookup NU author(s): Dr Victor Khomenko, Professor Maciej Koutny


Publication metadata

Author(s): Khomenko V, Koutny M

Editor(s): Palamidessi, C.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 11th International Conference on Concurrency Theory (CONCUR)

Year of Conference: 2000

Pages: 410-425

Date deposited: 22/09/2010

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer-Verlag

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540678977


Link to this publication