197 search results - page 9 / 40 » Structural Operational Semantics for Stochastic Process Calc... |
201
Voted
TGC
2010
Springer
15 years 19 days 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...
124
Voted
COORDINATION
2004
Springer
15 years 8 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...
122
Voted
ENTCS
2006
15 years 2 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...
121
Voted
CORR
2010
Springer
15 years 2 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,...
113
Voted
ENTCS
2007
15 years 2 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 ...