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)

Switching dynamics in an interpersonal competition brings about "deadlock" synchronization of players.
by: Akifumi Kijima, et al.
Published: (2012-01-01)

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)

A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering
by: Prodromos Gerakios, et al.
Published: (2011-10-01)

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

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

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

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

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

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)

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

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

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)

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)

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)

Catalonia in deadlock, and why that is a European problem
by: José Luis Martí

An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets
by: Shaoyong Li, et al.
Published: (2017-11-01)

FREEDOM, VITAL MOVEMENT AND PASSIONS: DEADLOCKS OF HOBBESIAN’S MATERIALISM LIBERDADE, MOVIMENTO VITAL E PAIXÕES: OS IMPASSES DO MATERIALISMO HOBBESIANO
by: José Nicolau Heck
Published: (2008-12-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)