2171 search results - page 65 / 435 » A Generic Process Algebra |
140
click to vote
JALC
2002
15 years 2 months 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...
179
click to vote
HPTS
1993
15 years 7 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...
137
click to vote
FORTE
2004
15 years 4 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 ...
115
click to vote
MASCOTS
2003
15 years 4 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...