Static analysis of IMC

DOI10.1016/j.jlap.2012.03.011zbMath1243.68220OpenAlexW2026788619WikidataQ59416325 ScholiaQ59416325MaRDI QIDQ444504

Flemming Nielson, Henrik Pilegaard, Nataliya Skrypnyuk

Publication date: 14 August 2012

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2012.03.011

zbMATH Keywords

process algebraspathway analysisdata flow analysisIMC

Mathematics Subject Classification ID

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

Related Items (2)

Static analysis of IMC ⋮ REACHABILITY FOR FINITE-STATE PROCESS ALGEBRAS USING HORN CLAUSES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Static analysis of IMC
• Interactive Markov chains. And the quest for quantified quality
• Pathway analysis for BioAmbients
• Monotone data flow analysis frameworks
• BioAmbients: an abstraction for biological compartments
• Reachability for Finite-State Process Algebras Using Static Analysis
• Modal Abstractions of Concurrent Behaviour
• Data Flow Analysis for CCS
• Automatic verification of finite-state concurrent systems using temporal logic specifications

This page was built for publication: Static analysis of IMC