scientific article; zbMATH DE number 4085007

zbMATH Open0663.68040MaRDI QIDQ3814799FDOQ3814799

Authors: S. Gnesi, P. Inverardi, Monica Nesi 

Publication date: 1988

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

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

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)

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)