PEPA

swMATH10692MaRDI QIDQ22650

No author found.

Related Items (only showing first 100 items - show all)

Modelling and analysing neural networks using a hybrid process algebra ⋮ An algorithm for the identification of components in biochemical pathways ⋮ Lumping and reversed processes in cooperating automata ⋮ Lumping and Reversed Processes in Cooperating Automata ⋮ Probabilistic Real-Time Rewrite Theories and Their Expressive Power ⋮ A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway ⋮ Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ Using process algebra to develop predator-prey models of within-host parasite dynamics ⋮ Unnamed Item ⋮ HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour ⋮ Unnamed Item ⋮ Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch ⋮ On the relations between Markov chain lumpability and reversibility ⋮ Formal techniques for performance analysis: blending SAN and PEPA ⋮ Reversible computation in nets with bonds ⋮ A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ Tackling continuous state-space explosion in a Markovian process algebra ⋮ A process algebra framework for multi-scale modelling of biological systems ⋮ A general overview of formal languages for individual-based modelling of ecosystems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A formal model for service-oriented interactions ⋮ Mapping pipeline skeletons onto heterogeneous platforms ⋮ Three-valued abstraction for probabilistic systems ⋮ Computing branching distances with quantitative games ⋮ Specifying reversibility with \(\mathrm{TLA}^+\) ⋮ On the Relationships Between Lumpability and Filtering of Finite Stochastic Systems ⋮ Equivalences for a biological process algebra ⋮ Exact fluid lumpability in Markovian process algebra ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Block SOR for Kronecker structured representations ⋮ Approximate mean value analysis based on Markov chain aggregation by composition ⋮ The PSR methodology: Integrating hardware and software models ⋮ Modelling patterns of gene regulation in the bond-calculus ⋮ Applying Formal Methods: Testing, Performance, and M/E-Commerce ⋮ Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models ⋮ Formal Methods for Biochemical Signalling Pathways ⋮ Unnamed Item ⋮ Improved Continuous Approximation of PEPA Models through Epidemiological Examples ⋮ The Importance of Being (A Little Bit) Discrete ⋮ Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA ⋮ A Model and Analysis of the AKAP Scaffold ⋮ Bone Remodelling in BioShape ⋮ Process Algebra with Hooks for Models of Pattern Formation ⋮ Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration ⋮ Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra ⋮ Pathway analysis for BioAmbients ⋮ Relating continuous and discrete PEPA models of signalling pathways ⋮ Unnamed Item ⋮ Probabilistic model checking of complex biological pathways ⋮ Unnamed Item ⋮ nano\(\kappa\): A calculus for the modeling and simulation of nano devices ⋮ Synapses as stochastic concurrent systems ⋮ HYPE Applied to the Modelling of Hybrid Biological Systems ⋮ On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation ⋮ Probabilistic approximations of ODEs based bio-pathway dynamics ⋮ Unnamed Item ⋮ Markov property for a function of a Markov chain: A linear algebra approach ⋮ Hybrid dynamics of stochastic programs ⋮ Performance analysis of probabilistic action systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A fluid analysis framework for a Markovian process algebra ⋮ Translating Stochastic CLS into Maude ⋮ Bio-PEPA: A framework for the modelling and analysis of biological systems ⋮ Modular modelling of signalling pathways and their cross-talk ⋮ Teaching Concurrency Concepts to Freshmen ⋮ Performance Prediction of Web-Based Software Systems ⋮ Mixing logics and rewards for the component-oriented specification of performance measures ⋮ Abstract Interpretation of PEPA Models ⋮ The How and Why of Interactive Markov Chains ⋮ Structural Analysis for Stochastic Process Algebra Models ⋮ A Precedence PEPA Model for Performance and Reliability Analysis ⋮ A Function-Equivalent Components Based Simplification Technique for PEPA Models ⋮ A Language for Biochemical Systems: Design and Formal Specification ⋮ Computation tree measurement language (CTML) ⋮ Measuring the Speed of Information Leakage in Mobile Processes ⋮ Improving performance in flexible manufacturing systems ⋮ Stochastic Process Algebras ⋮ Tackling Large State Spaces in Performance Modelling ⋮ Fluid Analysis for a PEPA Model ⋮ Process Algebra Modelling Styles for Biomolecular Processes ⋮ Bio-PEPA with Events ⋮ Fluid computation of passage-time distributions in large Markov models ⋮ Compositional Abstraction for Stochastic Systems ⋮ Semi-Product-Form Solution for PEPA Models with Functional Rates ⋮ On the computational power of BlenX ⋮ Modelling parallel databases with process algebra ⋮ Process algebras for systems diagnosis. ⋮ Performance measure sensitive congruences for Markovian process algebras ⋮ Modelling of Biochemical Reactions by Stochastic Automata Networks ⋮ Component identification in biochemical pathways ⋮ PEPA Queues: Capturing Customer Behaviour in Queueing Networks ⋮ Stochastic Concurrent Constraint Programming and Differential Equations ⋮ A Structural Approach for Modelling Performance of Systems Using Skeletons ⋮ Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks ⋮ Diagnosis of discrete-event systems from uncertain temporal observations ⋮ Product form solution for a class of PEPA models

This page was built for software: PEPA