197 search results - page 9 / 40 » Structural Operational Semantics for Stochastic Process Calc... |
191
Voted
TGC
2010
Springer
14 years 11 months ago
2010
Springer
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the stochastic behavior of processes and for associating continuous-time Markov chain...
115
click to vote
COORDINATION
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
114
Voted
ENTCS
2006
15 years 1 months ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
115
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
107
Voted
ENTCS
2007
15 years 1 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...