Results 1 to 10 of about 109,151 (169)
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
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 +5 more sources
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 +5 more sources
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 +4 more sources
On Markovian cocycle perturbations in classical and quantum probability [PDF]
International Journal of Mathematics and Mathematical Sciences, 2003 We introduce Markovian cocycle perturbations of the groups of transformations associated with classical and quantum stochastic processes with stationary increments, which are characterized by a localization of the perturbation to the algebra of events ...
G. G. Amosov
doaj +5 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
HYPE with stochastic events [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, each flow or influence affecting a variable is modelled separately and the overall behaviour of ...
Luca Bortolussi +2 more
doaj +7 more sources
Stochastic Process Algebra Models of a Circadian Clock [PDF]
, 2006 We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour.
Bradley, Jeremy T., Thorne, Thomas
core +5 more sources
Analysis of a Multimedia Stream using Stochastic Process Algebra [PDF]
The Computer Journal, 1998 It is now well recognised that the next generation of distributed systems will be distributed multimedia systems. Central to multimedia systems is quality of service, which defines the non-functional requirements on the system.
Bowman, Howard +2 more
core +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