Results 121 to 130 of about 3,582 (146)
Some of the next articles are maybe not open access.
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference
2019In this paper, we consider the information flow security properties named Persistent Stochastic Non-Interference (PSNI) and Delimited Persistent Stochastic Non-Interference (D_PSNI) for stochastic cooperating processes described as terms of the Performance Evaluation Process Algebra (PEPA).
Marin A., Piazza C., Rossi S.
openaire +2 more sources
Stochastic Process Algebra Based Software Process Simulation Modeling
2009In recent years, simulation techniques that have been widely used in many other disciplines are being increasingly used in analyzing software processes. However, researchers from software process simulation community tend to build a separate new model with various technologies from traditional software models.
Jian Zhai +5 more
openaire +1 more source
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes
2001In this paper, the concept of complete finite prefixes for process algebra expressions is extended to stochastic models. Events are supposed to happen after a delay that is determined by random variables assigned to the preceding conditions. Max-plus algebra expressions are shown to provide an elegant notation for stochastic prefixes not containing any
Lucia Cloth +2 more
openaire +1 more source
Time-Parallel Simulation for Stochastic Automata Networks and Stochastic Process Algebra
2014Time Parallel Simulation (TPS) is the construction of the time-slices of a sample-path on a set of parallel processors (see [11] chap. 6 and references therein). TPS has a potential to massive parallelism as the number of logical processes is only limited by the number of time intervals which is a direct consequence of the time granularity and the ...
Thu-Ha Dao-Thi +2 more
openaire +1 more source
Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras
2010We investigate the limit behavior of a class of stochastic hybrid systems obtained by hybrid approximation of Stochastic Concurrent Constraint Programming (sCCP). We prove that a sequence of Continuous Time Markov Chain (CTMC), constructed from sCCP programs parametrically with respect to a notion of system size, converges a.s., in the limit of ...
openaire +2 more sources
Symbolic semantics and verification of stochastic process algebras.
2006Im Bereich der Leistungs- und Zuverlässigkeitsanalyse haben sich abstrakte Spezifikationssprachen wie stochastische Prozessalgebren (SPA) oder verallgemeinerte stochastische Petrinetze (engl. generalised stochastic Petri nets, GSPN) als sehr hilfreich erwiesen.
openaire +3 more sources
Stochastic Process Algebra Model of Amyloidogenic Processing in Alzheimer’s Disease
Studies in Systems, Decision and Control, 2021Angelyn Lao, Eduardo R Mendoza
exaly
Rate Lifting for Stochastic Process Algebra – Exploiting Structural Properties –
Lecture Notes in Computer Science, 2022Siegle Markus
exaly
A novel formal analysis method of network survivability based on stochastic process algebra
Tsinghua Science and Technology, 2007Guosheng Zhao
exaly