A monotone framework for CCS

DOI10.1016/J.CL.2008.07.001MaRDI QIDQ1749243zbMATH OpenOpenAlexWikidataFDO

Authors Hanne Riis Nielson, Flemming Nielson

Publication date 16 May 2018

Published in Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.cl.2008.07.001

zbMATH Keywords

static analysisprocess calculiCCSmonotone frameworks

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Data Flow Analysis for CCS
• scientific article; zbMATH DE number 4018372
• Automated analysis of mutual exclusion algorithms using CCS
• scientific article; zbMATH DE number 4035159
• scientific article; zbMATH DE number 30325

Cites work

• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 2161330 (Why is no real title available?)
• A framework for security analysis of mobile wireless networks
• BioAmbients: an abstraction for biological compartments
• CONCUR 2004 - Concurrency Theory
• Cryptographic analysis in cubic time
• Data Flow Analysis for CCS
• Flow logic for Dolev–Yao secrecy in cryptographic processes
• Foundations of Security Analysis and Design II
• Mobile ambients
• Modal Abstractions of Concurrent Behaviour
• Nesting analysis of mobile ambients
• Pathway analysis for BioAmbients
• Shape analysis for mobile ambients
• Static Analysis
• Static analysis for the \(\pi\)-calculus with applications to security
• The Klaim project: Theory and practice
• Topology-Dependent Abstractions of Broadcast Networks
• Validating firewalls using flow logics
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs

Cited in

(3)

• Data Flow Analysis for CCS
• CCS with priority choice
• Static analysis of topology-dependent broadcast networks

This page was built for publication: A monotone framework for CCS

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