A monotone framework for CCS

DOI10.1016/J.CL.2008.07.001zbMATH Open1387.68172OpenAlexW2085809004WikidataQ59416345 ScholiaQ59416345MaRDI QIDQ1749243FDOQ1749243

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

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

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)

Cites Work

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

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)