A Specification Structure for Deadlock−freedom of Synchronous Processes

A Specification Structure for Deadlock−freedom of Synchronous Processes

Bibliographic Details
Main Authors:	Abramsky, S, Gay, S, Nagarajan, R
Format:	Conference item
Published:	1999

Similar Items

A Type−theoretic Approach to Deadlock−freedom of Asynchronous Systems
by: Abramsky, S, et al.
Published: (1997)

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

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

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

Specification Structures and Propositions−as−Types for Concurrency
by: Abramsky, S, et al.
Published: (1996)

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

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

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

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

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

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

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

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

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

Interaction Categories and the Foundations of Typed Concurrent Programming
by: Abramsky, S, et al.
Published: (1996)

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)

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-free routing in a faulty hypercube
by: Lehman, Eric (Eric Allen), 1970-
Published: (2009)

Primary Cardiac Burkitt’s Lymphoma- A Deadlock
by: Vinay Praveen Ayyala, et al.
Published: (2023-01-01)

Neighbour replication on grid deadlock detection framework
by: Noriyani, Mohd Zin, et al.
Published: (2011)

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

Exascale MPI-based program deadlock detection
by: AlDhubhani, Raed, et al.
Published: (2015)

The Southern Kuril Deadlock: effectiveness v. protest
by: E. V. Neverova
Published: (2019-10-01)

Dealing with Deadlocks in Industrial Multi Agent Systems
by: František Čapkovič
Published: (2023-03-01)

Approach to Solving Deadlock Problem in Multithreading Software
by: I. V. Parfilov, et al.
Published: (2011-03-01)

Controllable Deadlocks in Parallel Resource-Constrained Workflows
by: V. A. Bashkin, et al.
Published: (2014-12-01)

Application-aware deadlock-free oblivious routing
by: Kinsy, Michel A
Published: (2010)

Effective Combinating of Wormhole Deadlock-free Routs
by: Valentin Olenev, et al.
Published: (2022-11-01)

Application-Aware Deadlock-Free Oblivious Routing
by: Kinsy, Michel A., et al.
Published: (2010)

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

Deadlock-free Sharing of Resources in Asynchornous Systems
by: Hebalkar, Prakash G.
Published: (2023)

Deadlock-free fine-grained thread migration
by: Cho, Myong Hyon, et al.
Published: (2012)

Discovering and correcting a deadlock in a channel implementation
by: Lowe, G
Published: (2019)

Robust Deadlock Control for Reconfigurable Printing Manufacturing System Based on Process Algebra
by: Huailin Li, et al.
Published: (2023-01-01)

Market Mechanisms as a Social Deadlock for Russian Education
by: A. M. Osipov
Published: (2019-06-01)

Sufficient conditions for a flexible manufacturing system to be deadlocked
by: Paul E. Deering
Published: (2012-01-01)

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