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 +5 more sources
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
Stochastic Process Algebra and Stability Analysis of Collective Systems [PDF]
Lecture Notes in Computer Science, 2013 Collective systems consist of large numbers of agents that coordinate through local behaviour, adapt to their environment and possibly give rise to emergent phenomena. Their formal analysis requires advanced scalable mathematical approximation techniques.
Mieke Massink +2 more
exaly +5 more sources
Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA. [PDF]
BMC Bioinformatics, 2012 Hospitals nowadays have to serve numerous patients with limited medical staff and equipment while maintaining healthcare quality. Clinical pathway informatics is regarded as an efficient way to solve a series of hospital challenges. To date, conventional
Yang X +6 more
europepmc +2 more sources
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 +4 more sources
Analysis of a Multimedia Stream using Stochastic Process Algebra [PDF]
The Computer Journal, 2001 Summary: It is now well recognized 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. In this paper we investigate how stochastic process algebra can be used in order to determine the quality of service ...
Howard Bowman +2 more
openaire +3 more sources
A theory of Stochastic systems. Part II: Process algebra
Information and Computation, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Joost-Pieter Katoen, Pedro R D'Argenio
exaly +5 more sources
Performance analysis of stochastic process algebra models using stochastic simulation
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, 2006 Jeremy T. Bradley +2 more
exaly +4 more sources
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language [PDF]
International Symposium on Computer Modeling, Measurement and Evaluation, 2002 The objective of this tutorial is to describe the evolution of the field of stochastic process algebra in the past decade, through a presentation of the main achievements in the field. In particular, the tutorial stresses the current transformation of stochastic process algebra from a simple formalism to a fully fledged architectural description ...
Bernardo, Marco +2 more
openaire +3 more sources
Robust resource allocations through performance modeling with stochastic process algebra
Concurrency Computation Practice and Experience, 2017 Srishti Srivastava, I. Banicescu
exaly +2 more sources