scientific article; zbMATH DE number 4085007

MaRDI QIDQ3814799zbMATH OpenFDO

Authors S. Gnesi, P. Inverardi, Monica Nesi

Publication date 1988

zbMATH Keywords

verificationfunctional programminglogic programmingoperational semanticsCCSbehavioural equivalencesconditional term rewriting system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3930336
• scientific article; zbMATH DE number 1231669
• A Propositional Dynamic Logic for CCS Programs
• A logic for the specification and proof of regular controllable processes of CCS
• Rewriting approximations for properties verification over CCS specifications
• Communicating Sequential Processes. The First 25 Years
• Application of modal logics to the specification and verification of programs
• scientific article; zbMATH DE number 1231544
• scientific article; zbMATH DE number 3936485
• scientific article; zbMATH DE number 3890711

Cited in

(1)

• A rewriting strategy to verify observational congruence

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