scientific article; zbMATH DE number 3628369

MaRDI QIDQ4190122zbMATH OpenFDO

Authors Raymond E. Miller, Chee K. Yap

Publication date 1979

zbMATH Keywords

Analysis of Loosely Connected ProcessesFormal SpecificationSynchronization Problems

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited in

(1)

• The complexity of problems in systems of communicating sequential processes

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4190122)