scientific article; zbMATH DE number 1522998

MaRDI QIDQ4511273zbMATHFDO

Authors Mads Dam, Dilian Gurov

Publication date 30 October 2000

zbMATH Keywords

proof system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 3936485
• scientific article; zbMATH DE number 1231562
• Proving properties of dynamic process networks
• A Proof System for Compositional Verification of Probabilistic Concurrent Processes
• Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS

Cited in

(9)

• Unique fixpoint induction for message-passing process calculi
• scientific article; zbMATH DE number 2087443 (Why is no real title available?)
• scientific article; zbMATH DE number 3936485 (Why is no real title available?)
• Reduced models for efficient CCS verification
• A logic for the specification and proof of regular controllable processes of CCS
• Compositional checking of satisfaction
• Planning proofs of equations in CCS
• Proving correctness of labeled transition systems by semantic tableaux
• On process equivalence = equation solving in CCS

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