1532 search results - page 130 / 307 » An Algebraic Process Calculus |
123
click to vote
BPM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational busi...
144
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
We present a decomposition-based approach to managing probabilistic information. We introduce world-set decompositions (WSDs), a space-efficient and complete representation system ...
168
click to vote
ACS
2011
14 years 11 months ago
2011
We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in...
165
click to vote
AMAST
2000
Springer
15 years 8 months ago
2000
Springer
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...
134
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
ed Abstract Membrane systems are models of computation inspired by the structure and the function of biological cells. The model was introduced in 1998 by Gh. Paun and since then m...