Publication:3343422

zbMATH Open0551.68023MaRDI QIDQ3343422FDOQ3343422

Author name not available (Why is that?)

Publication date: 1984

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

zbMATH Keywords

distributed processeslogic programsspecification language

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited In (5)

• Semantics of distributed definite clause programs
• Title not available (Why is that?)
• Deterministic process logic is elementary
• Process logic with regular formulas
• From process logic to program logic

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