Probabilistic model checking is a formal verification framework for systems which exhibit
stochastic behaviour. It has been successfully applied to a wide range of domains, including …

In this review, it is explained and compared different software and formalisms used in music
interaction: sequencers, computer-assisted improvisation, meta-instruments, score …

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

Abstract We propose PAlPs, a Process Algebra with Locations for Population Systems.
PAlPs allows us to produce spatially-explicit individualbased ecological models and to …

Computational models are perceived as an attractive alternative to mathematical models
(eg, ordinary differential equations). These models incorporate a set of methods for …

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

In this paper we extend PALPS, a process calculus proposed for the spatially-explicit,
individual-based modeling of ecological systems, with a synchronous parallel operator. The …

Deterministic and stochastic P systems for modelling cellular processes | SpringerLink Skip to
main content Advertisement SpringerLink Log in Menu Find a journal Publish with us Search …

This chapter gives an overview of an integrated software suite, the Infobiotics Workbench,
which is based on a novel spatial discrete-stochastic P systems modelling framework. The …

Metabolic P systems, shortly MP systems, are a special class of deterministic P systems,
introduced for expressing biological metabolism. Their dynamics are computed by a special …