PEPA

swMATH10692MaRDI QIDQ22650FDOQ22650

Author name not available (Why is that?)

Official website: http://www.dcs.ed.ac.uk/pepa/tools/

Cited In (only showing first 100 items - show all)

• A Function-Equivalent Components Based Simplification Technique for PEPA Models
• Improved continuous approximation of PEPA models through epidemiological examples
• Relating PDEs in cylindrical coordinates and CTMCs with levels of concentration
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Three-valued abstraction for probabilistic systems
• An algorithm for the identification of components in biochemical pathways
• The how and why of interactive Markov chains
• Probabilistic approximations of ODEs based bio-pathway dynamics
• Modelling and analysing neural networks using a hybrid process algebra
• Title not available (Why is that?)
• Equivalences for a biological process algebra
• Stochastic concurrent constraint programming and differential equations
• Three-Valued Abstraction for Continuous-Time Markov Chains
• A formal model for service-oriented interactions
• Relating continuous and discrete PEPA models of signalling pathways
• Modular modelling of signalling pathways and their cross-talk
• HYPE Applied to the Modelling of Hybrid Biological Systems
• A Compositional Approach to Performance Modelling
• Fluid computation of passage-time distributions in large Markov models
• Synapses as stochastic concurrent systems
• Hybrid dynamics of stochastic programs
• A fluid analysis framework for a Markovian process algebra
• Compositional abstraction for stochastic systems
• Some investigations concerning the CTMC and the ODE model derived from bio-PEPA
• Process algebra with hooks for models of pattern formation
• Title not available (Why is that?)
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• Pathway analysis for BioAmbients
• On the Relationships Between Lumpability and Filtering of Finite Stochastic Systems
• Lumping and reversed processes in cooperating automata
• Lumping and reversed processes in cooperating automata
• Mapping pipeline skeletons onto heterogeneous platforms
• Stochastic process algebras
• On the relations between Markov chain lumpability and reversibility
• Process algebras for systems diagnosis.
• Component identification in biochemical pathways
• GreatSPN
• SIGREF
• Title not available (Why is that?)
• Title not available (Why is that?)
• SMART_
• eSkel
• APNN-Toolbox
• BioShape
• SPNP
• BioNetGen
• DataCutter
• BIOCHAM
• Celldesigner
• Succinct
• SpiCO
• BioSPI
• ipc
• KEGG2SBML
• BioAmbient Machine
• BlenX
• LBS
• BioModels
• TrueTime
• RTC toolbox
• Xtext
• Markov property for a function of a Markov chain: A linear algebra approach
• PALOMA
• Chronux
• StochPy
• Ntccrt
• SSF.App.Worm
• Dizzy
• Performance measure sensitive congruences for Markovian process algebras
• Probabilistic model checking of complex biological pathways
• ASP.NET
• Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch
• Process Algebra Modelling Styles for Biomolecular Processes
• Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Möbius
• Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models
• Product form solution for a class of PEPA models
• Process algebra for performance evaluation
• A language for biochemical systems: design and formal specification
• Modelling intracellular fate of FGF receptors with BioAmbients
• Title not available (Why is that?)
• Measuring the Speed of Information Leakage in Mobile Processes
• Modelling of biochemical reactions by stochastic automata networks
• A process algebra framework for multi-scale modelling of biological systems
• Tackling continuous state-space explosion in a Markovian process algebra
• HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
• Reversible computation in nets with bonds
• nano\(\kappa\): A calculus for the modeling and simulation of nano devices
• Specifying reversibility with \(\mathrm{TLA}^+\)
• Structural analysis for stochastic process algebra models
• Translating stochastic CLS into Maude
• Applying Formal Methods: Testing, Performance, and M/E-Commerce
• Formal methods for biochemical signalling pathways
• Title not available (Why is that?)
• Diagnosis of discrete-event systems from uncertain temporal observations
• Title not available (Why is that?)
• Abstract interpretation of PEPA models
• Title not available (Why is that?)
• On the approximation of stochastic concurrent constraint programming by master equation

This page was built for software: PEPA