Publication:2703725
From MaRDI portal
zbMath0970.68113MaRDI QIDQ2703725
Publication date: 7 May 2001
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
A Global Occurrence Counting Analysis for Brane Calculi, Quantified abstract configurations of distributed systems, Abstract interpretation based verification of temporal properties for BioAmbients, A static analysis for brane calculi providing global occurrence counting information, A static analysis of cryptographic processes: the denotational approach