scientific article; zbMATH DE number 3607513

zbMATH Open0391.68046MaRDI QIDQ4172940FDOQ4172940

Authors: Carl E. Hewitt, Henry G. Jun. Baker 

Publication date: 1978

Title of this publication is not available (Why is that?)

zbMATH Keywords

Theorem ProvingParallel ProcessesActorsProcessorsContinuous Functionals

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited In (2)

• An object-oriented semantic data model for CAD applications
• A theory for nondeterminism, parallelism, communication, and concurrency

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 Q4172940)