scientific article

zbMATH Open0533.68023MaRDI QIDQ3316568FDOQ3316568

Author name not available (Why is that?)

Publication date: 1983

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

zbMATH Keywords

CSPtotal correctness poof system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Cited In (3)

• Nivat's processes and their synchronization
• Semantics of distributed definite clause programs
• Correspondence assertions for process synchronization in concurrent communications

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