A SIMULATION ALGORITHM FOR MULTIENVIRONMENT PROBABILISTIC P SYSTEMS: A FORMAL VERIFICATION

DOI10.1142/S0129054111007873zbMath1213.68383OpenAlexW2008136437MaRDI QIDQ3076603

Mario J. Pérez-Jiménez, Fernando Sancho Caparrini, Ignacio Pérez-Hurtado, Agustín Riscos-Núñez, Miguel A. Martínez-del-Amor

Publication date: 23 February 2011

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054111007873

zbMATH Keywords

formal verificationP systemsbiological modeling

Mathematics Subject Classification ID

Population dynamics (general) (92D25) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Probabilistic Guarded P Systems, A New Formal Modelling Framework ⋮ Formal verification of cP systems using PAT3 and ProB ⋮ Current Developments on Computational Modeling Using P Systems

This page was built for publication: A SIMULATION ALGORITHM FOR MULTIENVIRONMENT PROBABILISTIC P SYSTEMS: A FORMAL VERIFICATION