scientific article

From MaRDI portal

Publication:3741036

Jump to:navigation, search

zbMath0604.68028MaRDI QIDQ3741036

Liuba Shrira, Rob Gerth

Publication date: 1986

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

zbMATH Keywords

distributed systems CSP proof rule communication closed layer

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (3)

A principle for sequential reasoning about distributed algorithms ⋮ Deadlock-free absorption of barrier synchronisations ⋮ Defining conditional independence using collapses

This page was built for publication:

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