scientific article; zbMATH DE number 3878341

MaRDI QIDQ3343422zbMATH OpenFDO

Authors

Publication date 1984

zbMATH Keywords

distributed processeslogic programsspecification language

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Distributed Logic Programming
• Process specification and verification
• A Logic For Distributed Processes
• scientific article; zbMATH DE number 3958697
• scientific article; zbMATH DE number 554480

Cited in

(10)

• Process logic with regular formulas
• A Logic For Distributed Processes
• Semantics of distributed definite clause programs
• From process logic to program logic
• scientific article; zbMATH DE number 1864594 (Why is no real title available?)
• scientific article; zbMATH DE number 3963182 (Why is no real title available?)
• Distributed Logic Programming
• The relation between logic programming and logic specification
• Deterministic process logic is elementary
• scientific article; zbMATH DE number 1728493 (Why is no real title available?)

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)