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 …

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

An important application of formal methods is the specification, design, and analysis of
functional aspects of (distributed) systems. Recently the study of quantitative aspects of such …

Enhanced Timed-LOTOS, called ET-LOTOS, is an extension of LOTOS allowing the
modelling of time-sensitive system (ie systems whose behaviour is influenced by the …

Intheworldweliveinconcurrencyisthenorm. Forexample, thehumanbody
isamassivelyconcurrentsystem, comprisingahugenumberofcells, allsim-taneously evolving …

Increasing complexity in real-time distributed systems calls for techniques to automate and
support their design. In particular concurrent and communicating systems are hard to design …

针对随机进程代数(stochastic process algebra, 简称SPA) 的基本模型方法,
模型特点和该领域的主要研究成果进行了综述. 比较了SPA 和随机Petri 网(stochastic Petri nets …

Enhanced Timed-LOTOS, denoted ET-LOTOS, is an extension of LOTOS that allows the
modelling of real-time behaviours. It covers all the aspects of full LOTOS, including data …

This paper is an informal tutorial on stochastic process algebras, ie, process calculi where
action occurrences may be subject to a delay that is governed by a (mostly continuous) …

This thesis presents basic design concepts, design methods and a basic design language
for distributed system behaviours. This language is based on two basic concepts: the action …