This paper surveys the theoretical developments in the field of stochastic process algebras,
process algebras where action occurrences may be subject to a delay that is determined by …

Automated and semi-automated manipulation of so-called labelled transition systems has
become an important means in discovering flaws in software and hardware systems …

Stochastic activity networks have been used since the mid-1980s for performance,
dependability, and performability evaluation. They have been used as a modeling formalism …

This chapter introduces the central formalism of this book, Interactive Markov Chains 1
(IMC). It arises as an integration of interactive processes and continuous-time Markov …

We describe a novel application of a stochastic name-passing calculus for the study of
biomolecular systems. We specify the structure and dynamics of biochemical networks in a …

This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of
labelled transition systems with exponentially delayed transitions. We show that IMCs are …

This paper presents MODEST (modeling and description language for stochastic timed
systems), a formalism that is intended to support 1) the modular description of reactive …

Parallel systems (such as operating systems, telecommunication systems, aircraft controlling
systems, banking systems, etc.) arise in many industrial applications. For applications where …

In this chapter, we adopt Probabilistic Transition Systems as a basic model for probabilistic
processes, in which probabilistic and nondeterministic choices are independent concepts …

Algebra and Automata for Timed and Stochastic Systems Page 1 Pedro R. D’Argenio Algebras
and Automata for Timed and Stochastic Systems Page 2 D’Argenio, Pedro Ruben. Algebras and …