scientific article; zbMATH DE number 5033881
From MaRDI portal
Publication:5472932
zbMath1096.68101MaRDI QIDQ5472932
Andrea Maggiolo-Schettini, Roberto Barbuti, Stefano Cataudella, Paolo Milazzo, Angelo Troina
Publication date: 19 June 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Biochemistry, molecular biology (92C40) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Compositional semantics and behavioural equivalences for reaction systems with restriction ⋮ Minimal probabilistic P systems for modelling ecological systems ⋮ Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems ⋮ Abstract interpretation based verification of temporal properties for BioAmbients ⋮ The Calculus of Looping Sequences for Modeling Biological Membranes
Uses Software
This page was built for publication: