Results 1 to 10 of about 4,616 (278)
State Equations in Stochastic Process Algebra Models [PDF]
IEEE Access, 2019 State equations are usually used for structural or qualitative analysis, such as deadlock checking, in P/T systems. In this paper, we instead consider timed state equations in stochastic process algebra models, to derive quantified dynamic information on
Jie Ding, Xin-Shan Zhu, Xiao Chen
doaj +4 more sources
A theory of Stochastic systems. Part II: Process algebra [PDF]
Information and Computation, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pedro R D'Argenio, Joost-Pieter Katoen
exaly +6 more sources
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
core +8 more sources
A Partial-differential Approximation for Spatial Stochastic Process Algebra [PDF]
EAI Endorsed Transactions on Internet of Things, 2015 We study a spatial framework for process algebra with ordinary differential equation (ODE) semantics. We consider an explicit mobility model over a 2D lattice where processes may walk to neighbouring regions independently, and interact with each other ...
Max Tschaikowski, Mirco Tribastone
doaj +4 more sources
IEEE Access, 2019 When printing orders change, the reconfigurable printing manufacturing system (RPMS) needs to be reconfigured, which produces many feasible reconfiguration schemes.
Huailin Li +3 more
doaj +3 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
Fluid Rewards for a Stochastic Process Algebra [PDF]
IEEE Transactions on Software Engineering, 2012 Reasoning about the performance of models of software systems typically entails the derivation of metrics such as throughput, utilization, and response time. If the model is a Markov chain, these are expressed as real functions of the chain, called reward models.
Mirco Tribastone +3 more
openaire +3 more sources