scientific article
From MaRDI portal
Publication:2703725
zbMath0970.68113MaRDI QIDQ2703725
Publication date: 7 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
A static analysis for brane calculi providing global occurrence counting information ⋮ Quantified abstract configurations of distributed systems ⋮ A static analysis of cryptographic processes: the denotational approach ⋮ A Global Occurrence Counting Analysis for Brane Calculi ⋮ Abstract interpretation based verification of temporal properties for BioAmbients
This page was built for publication:
