scientific article; zbMATH DE number 3930336

zbMATH Open0581.68028MaRDI QIDQ3703286FDOQ3703286

Authors: Susanne Graf, Joseph Sifakis 

Publication date: 1985

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

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

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)

Cited In (2)

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