scientific article; zbMATH DE number 6665225

DOI10.25596/JALC-2014-239MaRDI QIDQ5507073zbMATH OpenFDO

Authors Ionuţ Mihai Niculescu, Marian Gheorghe, Florentin Ipate, Alin Stefanescu

Publication date 16 December 2016

Full work available at URL https://doi.org/10.25596/JALC-2014-239

zbMATH Keywords

FLAMEP systemstranslationX-machines

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• A kernel P systems survey
• Kernel P systems: from modelling to verification and testing
• JKernelMachines: a simple framework for kernel machines
• Transforming communicating X-machines into P systems
• Testing identifiable kernel P systems using an X-machine approach
• scientific article; zbMATH DE number 1735632
• Formal models of operating system kernels
• Model Checking Kernel P Systems
• Modelling P systems by communicating X-machine systems

Cited in

(2)

• Agent-based simulation of kernel P systems with division rules using FLAME
• Instant (FLA, HOB) computational management system KBO model design

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 Q5507073)