Results 11 to 20 of about 109,235 (253)
A theory of Stochastic systems. Part II: Process algebra
Information and Computation, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pedro R D'Argenio, Joost-Pieter Katoen
exaly +5 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
openaire +6 more sources
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
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
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
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
BlenX-based compositional modeling of complex reaction mechanisms [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Molecular interactions are wired in a fascinating way resulting in complex behavior of biological systems. Theoretical modeling provides a useful framework for understanding the dynamics and the function of such networks. The complexity of the biological
Judit Zámborszky, Corrado Priami
doaj +1 more source
Implementation of stochastic signal processing algorithms in radar CAD
Российский технологический журнал, 2022 Objectives. In 2020, development work on the creation of a Russian computer-assisted design system for radars (radar CAD) was completed. Radar CAD provides extensive opportunities for creating simulation models for developing the hardware-software ...
M. Yu. Konopel'kin +2 more
doaj +1 more source