scientific article
From MaRDI portal
Publication:3675512
zbMath0562.68018MaRDI QIDQ3675512
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fairnessdatabasedining philosophersconcurrent transactionsconflicting accessesFIFO-netsmemory boundednessserializability conditionsynchronization algorithm
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Information storage and retrieval of data (68P20) Theory of operating systems (68N25)
Related Items
Theory of traces, Serialization of concurrent programs, Fifo nets without order deadlock, Characterizations of the decidability of some problems for regular trace languages, Multiserialization of iterated transactions
