The following pages link to PEPA (Q22650):
Displaying 50 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- An algorithm for the identification of components in biochemical pathways (Q276001) (← links)
- Lumping and reversed processes in cooperating automata (Q291348) (← links)
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Tackling continuous state-space explosion in a Markovian process algebra (Q387988) (← links)
- A process algebra framework for multi-scale modelling of biological systems (Q388145) (← links)
- A formal model for service-oriented interactions (Q436383) (← links)
- Mapping pipeline skeletons onto heterogeneous platforms (Q436791) (← links)
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- Probabilistic approximations of ODEs based bio-pathway dynamics (Q533363) (← links)
- Equivalences for a biological process algebra (Q652149) (← links)
- Modular modelling of signalling pathways and their cross-talk (Q714863) (← links)
- Fluid computation of passage-time distributions in large Markov models (Q764294) (← links)
- Formal techniques for performance analysis: blending SAN and PEPA (Q877152) (← links)
- Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models (Q941454) (← links)
- Pathway analysis for BioAmbients (Q953532) (← links)
- Relating continuous and discrete PEPA models of signalling pathways (Q953546) (← links)
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices (Q959782) (← links)
- Synapses as stochastic concurrent systems (Q959792) (← links)
- Hybrid dynamics of stochastic programs (Q969181) (← links)
- A fluid analysis framework for a Markovian process algebra (Q974116) (← links)
- Mixing logics and rewards for the component-oriented specification of performance measures (Q995461) (← links)
- Improving performance in flexible manufacturing systems (Q1014568) (← links)
- On the computational power of BlenX (Q1044845) (← links)
- Block SOR for Kronecker structured representations (Q1434413) (← links)
- Approximate mean value analysis based on Markov chain aggregation by composition (Q1434435) (← links)
- Modelling parallel databases with process algebra (Q1583384) (← links)
- Diagnosis of discrete-event systems from uncertain temporal observations (Q1605280) (← links)
- Performance analysis of probabilistic action systems (Q1764427) (← links)
- Computation tree measurement language (CTML) (Q1798671) (← links)
- Process algebras for systems diagnosis. (Q1852861) (← links)
- Performance measure sensitive congruences for Markovian process algebras (Q1853585) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- Specifying reversibility with \(\mathrm{TLA}^+\) (Q2210867) (← links)
- Modelling patterns of gene regulation in the bond-calculus (Q2229141) (← links)
- Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444) (← links)
- Component identification in biochemical pathways (Q2348029) (← links)
- On the relations between Markov chain lumpability and reversibility (Q2406431) (← links)
- A general overview of formal languages for individual-based modelling of ecosystems (Q2423746) (← links)
- Exact fluid lumpability in Markovian process algebra (Q2453115) (← links)
- Probabilistic model checking of complex biological pathways (Q2474435) (← links)
- Markov property for a function of a Markov chain: A linear algebra approach (Q2484388) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
- Using process algebra to develop predator-prey models of within-host parasite dynamics (Q2635001) (← links)
- Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch (Q2655500) (← links)
- Reversible computation in nets with bonds (Q2667186) (← links)
- Abstract Interpretation of PEPA Models (Q2796221) (← links)
- Semi-Product-Form Solution for PEPA Models with Functional Rates (Q2843075) (← links)
- Modelling of Biochemical Reactions by Stochastic Automata Networks (Q2864207) (← links)
- PEPA Queues: Capturing Customer Behaviour in Queueing Networks (Q2870281) (← links)
