scientific article; zbMATH DE number 3930336

MaRDI QIDQ3703286zbMATH OpenFDO

Authors Susanne Graf, Joseph Sifakis

Publication date 1985

zbMATH Keywords

concurrencymodal logiclabelled treesobservational congruenceterm algebranon-deterministic programs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)

Recommendations

• A logic for the specification and proof of regular controllable processes of CCS
• Modal Logic and Equality for Process Algebra
• Publication:4733387
• A Propositional Dynamic Logic for CCS Programs
• Publication:4733383

Cited in

(2)

• scientific article; zbMATH DE number 4085007 (Why is no real title available?)
• A logic for the specification and proof of regular controllable processes of 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 Q3703286)