3239 search results - page 159 / 648 » A Logical Process Calculus |
120
click to vote
ISPW
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. In this paper, the mobility of software processes, a novel concept, is proposed. It is defined as the structural change in a software process resulting from interactions...
133
click to vote
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
141
click to vote
FMICS
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...