Data Flow Analysis for CCS

DOI10.1007/978-3-540-71322-7_15MaRDI QIDQ3593080zbMATH OpenOpenAlexFDO

Authors Hanne Riis Nielson, Flemming Nielson

Publication date 24 September 2007

Published in Program Analysis and Compilation, Theory and Practice (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71322-7_15

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A monotone framework for CCS
• Data flow analysis of distributed communicating processes
• Information flow for Algol-like languages
• scientific article; zbMATH DE number 1501631
• Causal Dataflow Analysis for Concurrent Programs

Cited in

(5)

• A monotone framework for CCS
• Static analysis of topology-dependent broadcast networks
• What is a free name in a process algebra?
• Static analysis of IMC
• Pathway analysis for BioAmbients

This page was built for publication: Data Flow Analysis for CCS

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