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