2171 search results - page 65 / 435 » A Generic Process Algebra |
115
click to vote
JALC
2002
15 years 12 days ago
2002
We define general algebraic frameworks for shortest-distance problems based on the structure of semirings. We give a generic algorithm for finding single-source shortest distances...
152
click to vote
HPTS
1993
15 years 4 months ago
1993
Elements of transaction processing become more and more accepted as a base for general purpose distributed computing.We have developed an action concept with an extended functiona...
106
click to vote
FORTE
2004
15 years 2 months ago
2004
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
98
Voted
MASCOTS
2003
15 years 2 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
INLG
2010
Springer
14 years 10 months ago
2010
Springer
We present the UMUS (Universit