PEPA - MaRDI portal

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