Results 71 to 80 of about 11,828,886 (169)

A Process Algebra For Stochastic Music Composition

, 1995
The Musical Weighted Synchronous Calculus of Communicating Systems (MWSCCS) process algebra is presented. The algebra permits the design of stochastic automata which perform a variety of musically interesting behaviours, including both vertical and ...
Brian J. Ross, Brian Ross Brock
core   +1 more source

Specifications in Stochastic Process Algebra for a Robot Control Problem

, 1995
We present a novel approach to specification of dynamic systems. This approach, a stochastic extension of process algebra, facilitates quantitative, or performance, analysis, in addition to qualitative analysis.
Jane Hillston, Michael Rettelbach, Robert Holton, Stephen Gilmore   +3 more
core  

On Algebraic representation of general stochastic processes

, 1986
Bibliography: p.138-139.
openaire   +2 more sources

Stochastic Improvement of Cyclic Railway Timetables [PDF]

Real-time railway operations are subject to stochastic disturbances. However, a railway timetable is a deterministic plan. Thus a timetable should be designed in such a way that it can cope with the stochastic disturbances as well as possible.
Dekker, R., Vromans, M.J.C.M., Kroon, L.G., Retel Helmrich, M., Maroti, G.   +4 more
core  

Quantum stochastic convolution cocycles III [PDF]

, 2012
The theory of quantum Levy processes on a compact quantum group, and more generally quantum stochastic convolution cocycles on a C*-bialgebra, is extended to locally compact quantum groups and multiplier C*-bialgebras.
Skalski, Adam G., Lindsay, J. Martin
core  

Implementing a Stochastic Process Algebra Within The Möbius Modeling Framework

, 2008
Many formalisms and solution methods exist for performance and dependability modeling. However, different formalisms have different advantages and strengths, and no one formalism is universally used.
W.H. Sanders, G. Clark
core  

Embedding Real Time in Stochastic Process Algebras

, 2008
. We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actions and passage of time.
E. P. Vink, J. Markovski, Formal Methods Group   +2 more
core  

2010): Equivalences for a biological process algebra

, 2020
This paper investigates Bio-PEPA, the stochastic process algebra for biological modelling developed by Ciocchetta and Hillston. It focusses on Bio-PEPA with levels where molecular counts are grouped or concentrations are discretised into a finite number ...
Vashti Galpin
core  

Compositional solution of stochastic process algebra models.

, 2002
This dissertation is about the solution of Markovian stochastic process algebra (SPA) models and the avoidance of the state-space explosion problem. We try to answer the question whether the compositionality of SPA models can be exploited to overcome the largeness problems appearing when evaluating such models.
openaire   +2 more sources

Are attributes in "true" diagnostic classification modelling studies theoretically distinct from those in other studies? [PDF]

Front Psychol
Coates A.
europepmc   +1 more source