scientific article; zbMATH DE number 3878341

zbMATH Open0551.68023MaRDI QIDQ3343422FDOQ3343422

Authors:

Publication date: 1984

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

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

zbMATH Keywords

distributed processeslogic programsspecification language

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited In (10)

• The relation between logic programming and logic specification
• A Logic For Distributed Processes
• Semantics of distributed definite clause programs
• Title not available (Why is that?)
• Distributed Logic Programming
• Deterministic process logic is elementary
• Title not available (Why is that?)
• Process logic with regular formulas
• Title not available (Why is that?)
• 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)