Results 11 to 20 of about 276,000 (165)
A Stochastic Causality-Based Process Algebra [PDF]
The Computer Journal, 1995 This paper discusses stochastic extensions of a simple process algebra in a causality-based setting. Atomic actions are supposed to happen after a delay that is determined by a stochastic variable with a certain distribution. A simple stochastic type of event structures is discussed, restricting the distribution functions to be exponential.
Ed Brinksma +3 more
openaire +6 more sources
A construction and analysis tool based on the stochastic process algebra TIPP
Lecture Notes in Computer Science, 1996 Holger Hermanns, Hermanns Holger
exaly +2 more sources
Modeling biological systems with delays in Bio-PEPA [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Delays in biological systems may be used to model events for which the underlying dynamics cannot be precisely observed, or to provide abstraction of some behavior of the system resulting more compact models.
Giulio Caravagna, Jane Hillston
doaj +1 more source
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 We begin by reviewing a technique to approximate the dynamics of stochastic programs --written in a stochastic process algebra-- by a hybrid system, suitable to capture a mixed discrete/continuous evolution.
Alberto Policriti, Luca Bortolussi
doaj +1 more source
Persistent Stochastic Non-Interference [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 In this paper we present an information flow security property for stochastic, cooperating, processes expressed as terms of the Performance Evaluation Process Algebra (PEPA).
Jane Hillston +2 more
doaj +1 more source
Hybrid performance modelling of opportunistic networks [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We demonstrate the modelling of opportunistic networks using the process algebra stochastic HYPE. Network traffic is modelled as continuous flows, contact between nodes in the network is modelled stochastically, and instantaneous decisions are modelled ...
Luca Bortolussi +2 more
doaj +1 more source
A semi-quantitative equivalence for abstracting from fast reactions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Semantic equivalences are used in process algebra to capture the notion of similar behaviour, and this paper proposes a semi-quantitative equivalence for a stochastic process algebra developed for biological modelling.
Vashti Galpin +2 more
doaj +1 more source
Flux Analysis in Process Models via Causality [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We present an approach for flux analysis in process algebra models of biological systems. We perceive flux as the flow of resources in stochastic simulations. We resort to an established correspondence between event structures, a broadly recognised model
Ozan Kahramanoğulları
doaj +1 more source
Stochastic Process Algebras [PDF]
, 2007 In this tutorial we give an introduction to stochastic process algebras and their use in performance modelling, with a focus on the PEPA formalism. A brief introduction is given to the motivations for extending classical process algebra with stochastic times and probabilistic choice.
Clark, Allan +3 more
openaire +2 more sources
Investigating modularity in the analysis of process algebra models of biochemical systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Compositionality is a key feature of process algebras which is often cited as one of their advantages as a modelling technique. It is certainly true that in biochemical systems, as in many other systems, model construction is made easier in a formalism ...
Federica Ciocchetta +2 more
doaj +1 more source