scientific article; zbMATH DE number 1088211

zbMath0888.68026MaRDI QIDQ4364526

W. H. J. Feijen, A. J. M. van Gasteren

Publication date: 15 December 1997

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

zbMATH Keywords

multiprogramsconcurrent vector writingliberal phase synchronization

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items

Abstract derivation of transitive closure algorithms ⋮ Equational propositional logic