The formalization of biological systems using computational modelling approaches as an
alternative to mathematical-based methods has recently received much interest because …

A basic P system, called kernel P system (kP system for short), covering features of different
P systems introduced and studied so far is defined and discussed. It is a relatively low level …

Membrane computing is a new natural computing paradigm inspired by the functioning and
structure of biological cells, and has been successfully applied to many different areas, from …

A kernel P system integrates in a coherent and elegant manner some of the most
successfully used features of the P systems employed in modelling various applications. It …

P systems are non-deterministic, parallel and distributed models of computation inspired by
the behaviour and structure of living cells. Spiking neural P systems synthesise the …

P systems are the computational models introduced in the context of membrane computing,
a computational paradigm within the more general area of unconventional computing …

P systems are the computational models of membrane computing, a computing paradigm
within natural computing area inspired by the structure and behaviour of the living cell. In …

Kernel P systems integrate in a coherent and elegant manner many of the features of
different P system variants, successfully used for modelling various applications. In this …

This paper proposes a formal methodology to analyse bio-systems, in particular synthetic
biology systems. An integrative analysis perspective combining different model checking …

As unconventional computation matures and non-standard programming frameworks are
demonstrated, the need for formal verification will become more prevalent. This is so …