Lista de obras - Jane Hillston - Dominio Público Uruguay

Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL

artículo científico publicado en 2019

Continuous approximation of collective system behaviour: A tutorial

Fluid Performability Analysis of Nested Automata Models

article published in 2015

Fluid Rewards for a Stochastic Process Algebra

scholarly article by Mirco Tribastone et al published July 2012 in IEEE Transactions on Software Engineering

Formal Methods for Biochemical Signalling Pathways

Formal methods for checking the consistency of biological models

artículo científico publicado en 2012

Geometric fluid approximation for general continuous-time Markov chains

scientific article published on 25 September 2019

Hybrid Semantics for PEPA

Improved Continuous Approximation of PEPA Models through Epidemiological Examples

scholarly article by Soufiene Benkirane et al published February 2009 in Electronic Notes in Theoretical Computer Science

Modelling Non-linear Crowd Dynamics in Bio-PEPA

artículo científico publicado en 2011

Modelling Yeast Pre-rRNA Processing

Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA

PEPA

process calculus

Process Algebra Modelling Styles for Biomolecular Processes

scholarly article by Muffy Calder & Jane Hillston published 2009 in Lecture Notes in Computer Science

Product form solution for a class of PEPA models

Scalable Differential Analysis of Process Algebra Models

article

Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA

Stochastic properties of the plant circadian clock