Occurrence counting analysis for the pi-calculus

MaRDI QIDQ2703725zbMATH OpenFDO

Authors Jerome Feret

Publication date 7 May 2001

zbMATH Keywords

non-standard semanticspi-calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Abstract interpretation of mobile systems
• scientific article; zbMATH DE number 1487853
• Verification, Model Checking, and Abstract Interpretation
• Abstract interpretation of mobile ambients.
• scientific article; zbMATH DE number 1617321

Cited in

(6)

• A static analysis for brane calculi providing global occurrence counting information
• A static analysis of cryptographic processes: the denotational approach
• Quantified abstract configurations of distributed systems
• Resource Usage Analysis for the Pi-Calculus
• A Global Occurrence Counting Analysis for Brane Calculi
• Abstract interpretation based verification of temporal properties for BioAmbients

This page was built for publication: Occurrence counting analysis for the pi-calculus

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