scientific article; zbMATH DE number 4060687

zbMATH Open0649.68014MaRDI QIDQ3795191FDOQ3795191

Authors: Masaki Murakami 

Publication date: 1988

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

Recommendations

• scientific article; zbMATH DE number 4106262
• scientific article; zbMATH DE number 4074449
• scientific article; zbMATH DE number 41233
• Process algebra with guards: Combining hoare logic with process algebra
• scientific article; zbMATH DE number 970706

zbMATH Keywords

verificationpartial correctnessHorn logicparallel programming languagecontrol of nondeterminismGuarded Horn clauses

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Proving correctness of imperative programs by linearizing constrained Horn clauses

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