scientific article

zbMATH Open0663.68040MaRDI QIDQ3814799FDOQ3814799

S. Gnesi, P. Inverardi, Monica Nesi

Publication date: 1988

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

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

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)