scientific article; zbMATH DE number 3628369

zbMath0404.68033MaRDI QIDQ4190122

Raymond E. Miller, Chee-Keng Yap

Publication date: 1979

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

zbMATH Keywords

Formal SpecificationAnalysis of Loosely Connected ProcessesSynchronization Problems

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

The complexity of problems in systems of communicating sequential processes