Flow Logic for Process Calculi

DOI10.1145/2071389.2071392zbMath1293.68192OpenAlexW2024677950WikidataQ59416316 ScholiaQ59416316MaRDI QIDQ2875077

Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson

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

static analysisprocess calculiadequacysubject reductionflow logicMoore family

Mathematics Subject Classification ID

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

Related Items (1)

\textsf{CaPiTo}: Protocol stacks for services

This page was built for publication: Flow Logic for Process Calculi