PEPA
From MaRDI portal
Software:22650
swMATH10692MaRDI QIDQ22650FDOQ22650
Author name not available (Why is that?)
Cited In (only showing first 100 items - show all)
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices
- A Function-Equivalent Components Based Simplification Technique for PEPA Models
- 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
- 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
- Diagnosis of discrete-event systems from uncertain temporal observations
- 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
- A Language for Biochemical Systems: Design and Formal Specification
- Synapses as stochastic concurrent systems
- Hybrid dynamics of stochastic programs
- A fluid analysis framework for a Markovian process algebra
- Title not available (Why is that?)
- 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
- Mapping pipeline skeletons onto heterogeneous platforms
- 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
- Title not available (Why is that?)
- The How and Why of Interactive Markov Chains
- 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.
- Formal Methods for Biochemical Signalling Pathways
- Component identification in biochemical pathways
- Title not available (Why is that?)
- Title not available (Why is that?)
- Markov property for a function of a Markov chain: A linear algebra approach
- Performance measure sensitive congruences for Markovian process algebras
- Modelling Intracellular Fate of FGF Receptors With BioAmbients
- Probabilistic model checking of complex biological pathways
- Compositional Abstraction for Stochastic Systems
- Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch
- Stochastic Process Algebras
- Improved Continuous Approximation of PEPA Models through Epidemiological Examples
- Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration
- On the computational power of BlenX
- 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
- 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
- Lumping and Reversed Processes in Cooperating Automata
- 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
- Process Algebra with Hooks for Models of Pattern Formation
- Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
- Modelling parallel databases with process algebra
- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
- The Importance of Being (A Little Bit) Discrete
- On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation
- Reversible computation in nets with bonds
- Specifying reversibility with \(\mathrm{TLA}^+\)
- Performance Prediction of Web-Based Software Systems
- The PSR methodology: Integrating hardware and software models
- Applying Formal Methods: Testing, Performance, and M/E-Commerce
- Title not available (Why is that?)
- A Model and Analysis of the AKAP Scaffold
- Title not available (Why is that?)
- Tackling Large State Spaces in Performance Modelling
- Title not available (Why is that?)
- Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra
- Title not available (Why is that?)
- Structural Analysis for Stochastic Process Algebra Models
- Using process algebra to develop predator-prey models of within-host parasite dynamics
- Bone Remodelling in BioShape
- Abstract Interpretation of PEPA Models
- Bio-PEPA with Events
- Fluid Analysis for a PEPA Model
- Exact fluid lumpability in Markovian process algebra
- Title not available (Why is that?)
- FM 2005: Formal Methods
- Semi-Product-Form Solution for PEPA Models with Functional Rates
- Computing branching distances with quantitative games
- Title not available (Why is that?)
- Computation tree measurement language (CTML)
- Probabilistic Real-Time Rewrite Theories and Their Expressive Power
- Translating Stochastic CLS into Maude
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
This page was built for software: PEPA