scientific article

zbMATH Open1221.68168MaRDI QIDQ3005243

Gianluigi Zavattaro

Publication date: 7 June 2011

Title of this publication is not available (Why is that?)

zbMATH Keywords

\(\pi\)-calculusreachability problemmobile ambientsBioAmbientsdescription of biological systems

Mathematics Subject Classification ID

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

Related Items (1)

Abstract interpretation based verification of temporal properties for BioAmbients

This page was built for publication:

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