Deadlock Resolution in Computer-Integrated Systems

MengChu Zhou, Maria Pia Fanti, Milosh Vladimir Ivanovich (Telstra Research Laboratories, Melbourne, Australia) , Maria Pia Fanti

$431

Hardback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

CRC Press Inc
27 December 2004

Computer aided manufacture (CAM); Computing: general; Operating systems

"""Deadlock Resolution in Computer-Integrated Systems"" is a comprehensive reference that covers research, development, and implementation for deadlock-free computer-integrated systems. These systems include automated production systems, transportation systems, computer operating systems, concurrent software systems, computer networks, distributed database systems, and other automated systems. No other single title summarizes this important area of research. The book contains 18 chapters contributed by prominent researchers in the area, all classified by the deadlock modeling approaches they present, the solution types they propose, and the applications they seek."

Contributions by: Milosh Vladimir Ivanovich (Telstra Research Laboratories Melbourne Australia), Jonghun Park (KAIST, Taejon, South Korea)
Edited by: MengChu Zhou, Maria Pia Fanti, Maria Pia Fanti
Imprint: CRC Press Inc
Country of Publication: United States
Dimensions: Height: 234mm, Width: 156mm, Spine: 40mm
Weight: 1.111kg
ISBN: 9780824753689
ISBN 10: 0824753682
Pages: 696
Publication Date: 27 December 2004
Audience: Professional and scholarly , College/higher education , Professional and scholarly , Undergraduate , A / AS level
Format: Hardback
Publisher's Status: Active

List of Contributors. Preface. Introduction to Deadlock Research in Computer-Integrated Systems. Deadlock Avoidance in Automated Manufacturing Systems Using Finite Automata and State Space Search. Synthesis of Deadlock-Free Supervisory Controllers Using Automata. Deadlock Avoidance and Dynamic Routing Flexibility in Automated Manufacturing Systems. Digraph-Based Techniques for Deadlock Resolution in Automated Manufacturing Systems. Deadlock-Free Supervisory Control for Assembly and Disassembly Systems. Deadlock Avoidance Algorithms and Implementation: A Matrix Based Approach. Deadlock Detection and Prevention of Automated Manufacturing Systems Using Petri Nets and Siphons. Siphon-Based Characterization of Liveness and Liveness-Enforcing Supervision for Sequential Resource Allocation Systems. Elementary Siphons of Petri Nets for Efficient Deadlock Control. Resource-Oriented Petri Nets in Deadlock Prevention and Avoidance. The Effect of Modeling and Control Techniques on the Management of Dead-locks in FMS. Deadlock Characterization and Resolution in Interconnection Networks. Deadlock Models for a Multi-Service Medium Access Protocol Employing a Slotted Aloha or Q-ary Tree Based Signaling Channel. Deadlock-Free TCP Over High-Speed Internet. Deadlock Resolution in Large-Scale Internet Computing. Models Used in Static Analysis for Deadlocks of Ada Tasking Programs. Deadlock Handling in Database Systems. Index.

MengChu Zhou, Maria Pia Fanti