A monotone framework for CCS
type: Item
instance of: scholarly article
title: A monotone framework for CCS
zbMATH Open document ID: 1387.68172
author: Hanne Riis Nielson
author: Flemming Nielson
published in: Computer Languages, Systems \& Structures
publication date: 2018-05-16T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6869009
zbMATH Keywords: process calculi
zbMATH Keywords: CCS
zbMATH Keywords: static analysis
zbMATH Keywords: monotone frameworks
Wikidata QID: Q59416345
MaRDI profile type: Publication
full work available at URL: j.cl.2008.07.001
OpenAlex ID: W2085809004
cites work: CONCUR 2004 - Concurrency Theory
cites work: Static analysis for the \(\pi\)-calculus with applications to security
cites work: Nesting analysis of mobile ambients
cites work: Validating firewalls using flow logics
cites work: Shape analysis for mobile ambients
cites work: Foundations of Security Analysis and Design II
cites work: Flow logic for Dolev–Yao secrecy in cryptographic processes
cites work: A framework for security analysis of mobile wireless networks
cites work: Cryptographic analysis in cubic time
cites work: Q4248252
cites work: ``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
cites work: Q4671219
cites work: Data Flow Analysis for CCS
cites work: BioAmbients: an abstraction for biological compartments
cites work: Mobile ambients
cites work: Pathway analysis for BioAmbients
cites work: Static Analysis
cites work: Topology-Dependent Abstractions of Broadcast Networks
cites work: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
cites work: Modal Abstractions of Concurrent Behaviour
DOI: 10.1016/J.CL.2008.07.001
description: scientific article; zbMATH DE number 6869009