scientific article; zbMATH DE number 3926230

MaRDI QIDQ3700823zbMATH OpenFDO

Authors Stephen Brookes, A. W. Roscoe

Publication date 1985

zbMATH Keywords

competitionconcurrencydeadlockfailureinterleavingnetworks of communicating processesparallel composition

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Deadlock analysis in networks of communicating processes
• The pursuit of deadlock freedom
• Deadlock analysis of unbounded process networks
• Deadlock analysis of unbounded process networks
• A CCS-based investigation of deadlock in a multi-process electronic mail system

Cited in

(31)

• Exposure to deadlock for communicating processes is hard to detect
• On the analysis of cooperation and antagonism in networks of communicating processes
• The complexity of reachability in distributed communicating processes
• Deadlock avoidance for systolic communication
• A deadlock free and starvation free network of packet switching communication processors
• Rendezvous deadlocks in interacting parallel processes
• Petri-net-based deadlock analysis of process algebra programs
• Deadlock in packet switching networks
• Local and global deadlock-detection in component-based systems are NP-hard
• Deadlock analysis in networks of communicating processes
• Two logical methods of deadlock analysis
• Deadlock analysis of unbounded process networks
• scientific article; zbMATH DE number 3862446 (Why is no real title available?)
• Using Barrier Graphs for Deadlock Prevention in Communication Networks
• scientific article; zbMATH DE number 3874589 (Why is no real title available?)
• Description and treatment of deadlocks in the Hecodes distributed expert system
• Deadlock free specification based on local process properties
• scientific article; zbMATH DE number 4070293 (Why is no real title available?)
• scientific article; zbMATH DE number 176516 (Why is no real title available?)
• scientific article; zbMATH DE number 177258 (Why is no real title available?)
• scientific article; zbMATH DE number 177520 (Why is no real title available?)
• scientific article; zbMATH DE number 703704 (Why is no real title available?)
• scientific article; zbMATH DE number 714458 (Why is no real title available?)
• scientific article; zbMATH DE number 1964837 (Why is no real title available?)
• Loops, ditopology and deadlocks
• Construction of Deadlock-free Designs of Communication Protocols from Observations
• Static deadlock prevention in dynamically configured communication networks
• Correct Hardware Design and Verification Methods
• The pursuit of deadlock freedom
• A CCS-based investigation of deadlock in a multi-process electronic mail system
• Deadlock analysis of unbounded process networks

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3700823)