scientific article; zbMATH DE number 1487492

zbMath0956.68099MaRDI QIDQ4493900

Ulrich Hannemann, Frank S. de Boer, Willem Paul de Roever

Publication date: 23 October 2000

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

zbMATH Keywords

shared-variable concurrency

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Generalised rely-guarantee concurrency: an algebraic foundation ⋮ Designing a semantic model for a wide-spectrum language with concurrency ⋮ A Bibliography of Willem-Paul de Roever ⋮ Encoding fairness in a synchronous concurrent program algebra

This page was built for publication: