scientific article

From MaRDI portal

Publication:3877033

Jump to:navigation, search

zbMath0436.68022MaRDI QIDQ3877033

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

reliability distributed system concurrency control deadlock two-phase commit transaction model degrees of consistency granularity of locking predicate locks

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (3)

Correctness proof for the majority consensus algorithm ⋮ Progress assumption in concurrent systems ⋮ Choosing social laws for multi-agent systems: Minimality and simplicity

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3877033&oldid=17504667"