Deadlock analysis in networks of communicating processes

Deadlock analysis in networks of communicating processes

Show other versions (1)

Bibliographic Details
Main Authors:	Roscoe, A, Brookes, S
Format:	Conference item
Published:	Springer 1985

Similar Items

Deadlock analysis in networks of communicating processes
by: Roscoe, A, et al.
Published: (1991)

Routing messages through networks: an exercise in deadlock avoidance
by: Roscoe, A
Published: (1987)

The pursuit of deadlock freedom
by: Roscoe, A, et al.
Published: (1987)

Deadlock and deadlock freedom
by: Dathi, N
Published: (1989)

Efficient deadlock freedom checking using local analysis and SAT checking
by: Antonio, P, et al.
Published: (2016)

An improved failures model for communicating processes
by: Roscoe, A, et al.
Published: (1985)

Deadlocked /
by: 412897 Goldman, Joel
Published: (2005)

Deadlock detection in computer networks.
by: Goldman, Barry
Published: (2005)

Deadlock Detection in Computer Networks
by: Goldman, Barry
Published: (2023)

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
by: Forejt, V, et al.
Published: (2017)

Dayton Deadlock
by: I. S. Morozov
Published: (2011-02-01)

A theory of communicating sequential processes
by: Roscoe, A, et al.
Published: (1984)

A theory of communicating sequential processes
by: Roscoe, A, et al.
Published: (1981)

A Theory of Communicating Sequential Processes
by: Brookes, S, et al.
Published: (1984)

Comparing Deadlock-Free Session Typed Processes
by: Ornela Dardha, et al.
Published: (2015-08-01)

Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs
by: Forejt, V, et al.
Published: (2014)

Hierarchical compression for model−checking CSP‚ or How to check 10^20 dining philosophers for deadlock
by: Roscoe, A, et al.
Published: (1995)

An evaluation of Fugu's network deadlock avoidance solution
by: Lee, Victor Wui-Keung
Published: (2007)

Breaking the deadlock on ivory
by: Biggs, D, et al.
Published: (2017)

The Deadlock of Sustainable Development
by: Mircea Dutu
Published: (2006-03-01)

The Deadlock of Sustainable Development
by: Mircea Dutu
Published: (2006-01-01)

A Specification Structure for Deadlock−freedom of Synchronous Processes
by: Abramsky, S, et al.
Published: (1999)

Solving Two Deadlock Cycles through Neighbor Replication on Grid Deadlock Detection Model
by: Noriyani, Mohd Zin, et al.
Published: (2012)

Deadlock-Free Routing in SpaceWire Onboard Network
by: Lev Kurbanov, et al.
Published: (2018-05-01)

Sound static deadlock analysis for C/Pthreads
by: Kroening, D, et al.
Published: (2016)

Individual Mobility and the Sense of “Deadlock”
by: Azhar Noori Fejer, et al.
Published: (2014-08-01)

Growth and Identity: A Deadlock?
by: Saroj Giri
Published: (2020-03-01)

Civilizational deadlock of the economy of growth
by: Alatartseva Elena, et al.
Published: (2016-01-01)

Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock
by: Roscoe, A, et al.
Published: (1995)

Tools for Analysis and Tracking of Deadlock-Free Routes in On-Board SpaceWire Networks
by: Valentin Olenev, et al.
Published: (2020-04-01)

Deadlocked Order and Disorder in the Strongest Metals
by: Schuh, Christopher A
Published: (2022)

Deadlocked Order and Disorder in the Strongest Metals
by: Schuh, Christopher A.
Published: (2022)

Deadlock Freedom Through Object Ownership
by: Kerfoot, E, et al.
Published: (2009)

Deadlock resolution in computer-intergrated systems /
by: Zhou, MengChu, et al.
Published: (2005)

Computation Tree Logic with Deadlock Detection
by: Rob van Glabbeek, et al.
Published: (2009-12-01)

Static detection of deadlock for Java libraries
by: Williams, Amy Lynne, Ph.D. Massachusetts Institute of Technology
Published: (2014)

Rhino breaks the deadlock in Drosophila testis.
by: Anahi Molla Herman, et al.
Published: (2021-09-01)

Deadlock Prevention Algorithm in Grid Environment
by: Malhotra Deepti
Published: (2016-01-01)

The boundary of love: art, paranoia and deadlock
by: Torgeir Fjeld
Published: (2019-01-01)

Ring-Split: Deadlock-Free Routing Algorithm for Circulant Networks-on-Chip
by: Aleksandr Y. Romanov, et al.
Published: (2023-01-01)