A logic for the specification and proof of regular controllable processes of CCS

DOI10.1007/BF00288467zbMath0599.68025OpenAlexW3022040200MaRDI QIDQ1080653

Susanne Graf, Joseph Sifakis

Publication date: 1986

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00288467

zbMATH Keywords

program verificationterm language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items

Property preserving abstractions under parallel composition, Proof systems for satisfiability in Hennessy-Milner logic with recursion, Domain theory in logical form, Encoding safety in \(\mathrm{CLL}_R\)

Cites Work

• A logic for the description of non-deterministic programs and their properties
• A Theory of Communicating Sequential Processes
• Algebraic laws for nondeterminism and concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item