PEPA
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Improving performance in flexible manufacturing systems
- On the computational power of BlenX
- GreatSPN
- Romeo
- SIGREF
- PRISM
- Bio-PEPA
- GreatSPN 1.7
- Block SOR for Kronecker structured representations
- Approximate mean value analysis based on Markov chain aggregation by composition
- SPADES
- E-LOTOS
- PEPS
- Modelling parallel databases with process algebra
- SCCP
- Diagnosis of discrete-event systems from uncertain temporal observations
- SMART_
- Möbius
- MRMC
- eSkel
- Performance analysis of probabilistic action systems
- Computation tree measurement language (CTML)
- Process algebras for systems diagnosis.
- Performance measure sensitive congruences for Markovian process algebras
- APNN-Toolbox
- SPNP
- BioShape
- BioNetGen
- DataCutter
- Succinct
- BIOCHAM
- Celldesigner
- Computing branching distances with quantitative games
- Specifying reversibility with \(\mathrm{TLA}^+\)
- Modelling patterns of gene regulation in the bond-calculus
- SpiCO
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Component identification in biochemical pathways
- KEGG2SBML
- ipc
- BioSPI
- On the relations between Markov chain lumpability and reversibility
- A general overview of formal languages for individual-based modelling of ecosystems
- LBS
- BlenX
- BioAmbient Machine
- Exact fluid lumpability in Markovian process algebra
- Probabilistic model checking of complex biological pathways
- Markov property for a function of a Markov chain: A linear algebra approach
- BioModels
- TrueTime
- RTC toolbox
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
- Using process algebra to develop predator-prey models of within-host parasite dynamics
- Modelling and analysing neural networks using a hybrid process algebra
- Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch
- Reversible computation in nets with bonds
- An algorithm for the identification of components in biochemical pathways
- Abstract interpretation of PEPA models
- Xtext
- Semi-product-form solution for PEPA models with functional rates
- Modelling of biochemical reactions by stochastic automata networks
- 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
- Lumping and reversed processes in cooperating automata
- Lumping and reversed processes in cooperating automata
- Performance prediction of web-based software systems
- The how and why of interactive Markov chains
- Structural analysis for stochastic process algebra models
- A language for biochemical systems: design and formal specification
- Stochastic process algebras
- Tackling large state spaces in performance modelling
- Modular performance analysis of embedded real-time systems: improving modeling scope and accuracy.
- Probabilistic real-time rewrite theories and their expressive power
- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
- PALOMA
- Chronux
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- On the Relationships Between Lumpability and Filtering of Finite Stochastic Systems
- Formal methods for biochemical signalling pathways
- Teaching Concurrency Concepts to Freshmen
- A Precedence PEPA Model for Performance and Reliability Analysis
- A Function-Equivalent Components Based Simplification Technique for PEPA Models
- Measuring the Speed of Information Leakage in Mobile Processes
- Process Algebra Modelling Styles for Biomolecular Processes
- Bio-PEPA with Events
- Compositional abstraction for stochastic systems
- 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
- StochPy
- A formal model for service-oriented interactions
- Mapping pipeline skeletons onto heterogeneous platforms
- scientific article; zbMATH DE number 1946767 (Why is no real title available?)
- scientific article; zbMATH DE number 1956597 (Why is no real title available?)
- Three-valued abstraction for probabilistic systems
- SSF.App.Worm
- Ntccrt
This page was built for software: PEPA
