Flow logic for process calculi

DOI10.1145/2071389.2071392MaRDI QIDQ2875077zbMATH OpenOpenAlexWikidataFDO

Authors Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard

Publication date 13 August 2014

Published in ACM Computing Surveys (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2071389.2071392

zbMATH Keywords

adequacyflow logicMoore familyprocess calculistatic analysissubject reduction

Mathematics Subject Classification ID

Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1231615
• scientific article; zbMATH DE number 1953280
• Model checking \textit{is} static analysis of modal logic
• Static analysis for the \(\pi\)-calculus with applications to security
• From process logic to program logic

Cited in

(6)

• Process logic with regular formulas
• Model checking \textit{is} static analysis of modal logic
• scientific article; zbMATH DE number 1953280 (Why is no real title available?)
• scientific article; zbMATH DE number 2158986 (Why is no real title available?)
• Flow logic
• \textsf{CaPiTo}: Protocol stacks for services

This page was built for publication: Flow logic for process calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2875077)