期刊
JOURNAL OF LOGIC AND COMPUTATION
卷 10, 期 1, 页码 3-42出版社
OXFORD UNIV PRESS
DOI: 10.1093/logcom/10.1.3
关键词
simulation; stochastic process algebra; concurrency; transition systems
We present a process algebra. SPADES, based on Milner's CCS, which may be used to describe discrete event simulations with parallelism. it is able to describe the passing of time and probabilistic choice, either discrete. between a countable number of processes, or continuous, to choose a random amount of time to wait. Its operational semantics is presented as a labelled transition system and we discuss equivalences over this operational semantics that imply axioms that tan be used to compare and transform processes formally. we discuss notions of equivalence over simulations and the meaning of non-determinism in the context of the specification of a simulation. The algebra is applied to describe quantitatively a range of communicating systems.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据