scientific article; zbMATH DE number 3903944

zbMATH Open0566.68018MaRDI QIDQ3681909FDOQ3681909

Authors: Krzysztof R. Apt 

Publication date: 1985

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

Recommendations

• Total correctness of CSP programs
• scientific article; zbMATH DE number 3890704
• scientific article; zbMATH DE number 3963180
• Proof principles of CSP -- CSP-prover in practice
• scientific article; zbMATH DE number 3878340

zbMATH Keywords

static analysistotal correctnessproof system for CSP programs

Mathematics Subject Classification ID

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

Cited In (16)

• Title not available (Why is that?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Total correctness of CSP programs
• Proof of program correctness based on Kripke structure
• Corrigenda:Cooperating proofs for distributed programs with multiparty interactions
• Proof theory for exception handling in a tasking environment
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof principles of CSP -- CSP-prover in practice
• Redundant proofs of non-interference in Levin-Gries CSP program proofs
• Title not available (Why is that?)
• Partial correctness of exits from concurrent structures
• Proof rules for fault tolerant distributed programs

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