PEPA
From MaRDI portal
Cited in
(only showing first 100 items - show all)- A Precedence PEPA Model for Performance and Reliability Analysis
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices
- Three-valued abstraction for probabilistic systems
- Reversible computation in nets with bonds
- Specifying reversibility with \(\mathrm{TLA}^+\)
- An algorithm for the identification of components in biochemical pathways
- The Importance of Being (A Little Bit) Discrete
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- 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
- Structural analysis for stochastic process algebra models
- Modelling and analysing neural networks using a hybrid process algebra
- Probabilistic approximations of ODEs based bio-pathway dynamics
- The how and why of interactive Markov chains
- Equivalences for a biological process algebra
- scientific article; zbMATH DE number 1946767 (Why is no real title available?)
- Translating stochastic CLS into Maude
- Formal methods for biochemical signalling pathways
- Applying Formal Methods: Testing, Performance, and M/E-Commerce
- Stochastic concurrent constraint programming and differential equations
- A formal model for service-oriented interactions
- scientific article; zbMATH DE number 1956597 (Why is no real title available?)
- Diagnosis of discrete-event systems from uncertain temporal observations
- Three-Valued Abstraction for Continuous-Time Markov Chains
- Relating continuous and discrete PEPA models of signalling pathways
- scientific article; zbMATH DE number 1786478 (Why is no real title available?)
- Modular modelling of signalling pathways and their cross-talk
- Abstract interpretation of PEPA models
- Fluid computation of passage-time distributions in large Markov models
- HYPE Applied to the Modelling of Hybrid Biological Systems
- A Compositional Approach to Performance Modelling
- Synapses as stochastic concurrent systems
- Hybrid dynamics of stochastic programs
- A fluid analysis framework for a Markovian process algebra
- Compositional abstraction for stochastic systems
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- Some investigations concerning the CTMC and the ODE model derived from bio-PEPA
- Process algebra with hooks for models of pattern formation
- Lumping and reversed processes in cooperating automata
- Pathway analysis for BioAmbients
- Mapping pipeline skeletons onto heterogeneous platforms
- scientific article; zbMATH DE number 2087800 (Why is no real title available?)
- scientific article; zbMATH DE number 1884416 (Why is no real title available?)
- Lumping and reversed processes in cooperating automata
- On the Relationships Between Lumpability and Filtering of Finite Stochastic Systems
- Semi-product-form solution for PEPA models with functional rates
- scientific article; zbMATH DE number 1890702 (Why is no real title available?)
- On the approximation of stochastic concurrent constraint programming by master equation
- Mixing logics and rewards for the component-oriented specification of performance measures
- Block SOR for Kronecker structured representations
- Approximate mean value analysis based on Markov chain aggregation by composition
- scientific article; zbMATH DE number 2100582 (Why is no real title available?)
- Using process algebra to develop predator-prey models of within-host parasite dynamics
- scientific article; zbMATH DE number 2080958 (Why is no real title available?)
- Probabilistic real-time rewrite theories and their expressive power
- Stochastic process algebras
- Performance analysis of probabilistic action systems
- Formal techniques for performance analysis: blending SAN and PEPA
- On the relations between Markov chain lumpability and reversibility
- Improving performance in flexible manufacturing systems
- Process algebras for systems diagnosis.
- A model and analysis of the AKAP scaffold
- Bio-PEPA with Events
- GreatSPN
- Romeo
- SIGREF
- PRISM
- Bio-PEPA
- GreatSPN 1.7
- SPADES
- E-LOTOS
- PEPS
- SCCP
- MRMC
- SMART_
- eSkel
- APNN-Toolbox
- BioShape
- SPNP
- BioNetGen
- DataCutter
- BIOCHAM
- Celldesigner
- Succinct
- SpiCO
- BioSPI
- ipc
- KEGG2SBML
- BioAmbient Machine
- BlenX
- LBS
- BioModels
- TrueTime
- RTC toolbox
- Xtext
- PALOMA
- Chronux
- StochPy
- Ntccrt
This page was built for software: PEPA
