The following pages link to PEPA (Q22650):
Displaying 50 items.
- Stochastic concurrent constraint programming and differential equations (Q2870282) (← links)
- A structural approach for modelling performance of systems using skeletons (Q2870292) (← links)
- Bio-PEPA: an extension of the process algebra PEPA for biochemical networks (Q2870300) (← links)
- Lumping and Reversed Processes in Cooperating Automata (Q2900404) (← links)
- Performance Prediction of Web-Based Software Systems (Q3058116) (← links)
- The How and Why of Interactive Markov Chains (Q3066128) (← links)
- Structural Analysis for Stochastic Process Algebra Models (Q3067461) (← links)
- A Language for Biochemical Systems: Design and Formal Specification (Q3068848) (← links)
- Stochastic Process Algebras (Q3084589) (← links)
- Tackling Large State Spaces in Performance Modelling (Q3084593) (← links)
- (Q3092750) (← links)
- Probabilistic Real-Time Rewrite Theories and Their Expressive Power (Q3172843) (← links)
- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour (Q3184681) (← links)
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway (Q3453754) (← links)
- On the Relationships Between Lumpability and Filtering of Finite Stochastic Systems (Q3535628) (← links)
- Formal Methods for Biochemical Signalling Pathways (Q3557672) (← links)
- Teaching Concurrency Concepts to Freshmen (Q3599211) (← links)
- A Precedence PEPA Model for Performance and Reliability Analysis (Q3613664) (← links)
- A Function-Equivalent Components Based Simplification Technique for PEPA Models (Q3613665) (← links)
- Measuring the Speed of Information Leakage in Mobile Processes (Q3623923) (← links)
- Process Algebra Modelling Styles for Biomolecular Processes (Q3642950) (← links)
- Bio-PEPA with Events (Q3642952) (← links)
- Compositional Abstraction for Stochastic Systems (Q3648832) (← links)
- (Q4411090) (← links)
- (Q4417943) (← links)
- (Q4472227) (← links)
- (Q4474035) (← links)
- (Q4503927) (← links)
- (Q4518928) (← links)
- (Q4547770) (← links)
- The PSR methodology: Integrating hardware and software models (Q4633160) (← links)
- Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra (Q4647835) (← links)
- (Q4738769) (← links)
- Product form solution for a class of PEPA models (Q4779393) (← links)
- (Q4798038) (← links)
- (Q4800175) (← links)
- (Q4808842) (← links)
- (Q4817054) (← links)
- Translating Stochastic CLS into Maude (Q5179424) (← links)
- Fluid Analysis for a PEPA Model (Q5223232) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394047) (← links)
- Improved Continuous Approximation of PEPA Models through Epidemiological Examples (Q5404074) (← links)
- The Importance of Being (A Little Bit) Discrete (Q5404075) (← links)
- Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (Q5404080) (← links)
- A Model and Analysis of the AKAP Scaffold (Q5404083) (← links)
- Bone Remodelling in BioShape (Q5404084) (← links)
- Process Algebra with Hooks for Models of Pattern Formation (Q5404085) (← links)
- Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration (Q5404086) (← links)
- HYPE Applied to the Modelling of Hybrid Biological Systems (Q5415630) (← links)
- On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation (Q5415669) (← links)
