7109 search results - page 14 / 1422 » Process Algebra with Combinators |
EEF
2000
13 years 11 months ago
2000
This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides
CMSB
2008
Springer
13 years 9 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
ENTCS
2006
13 years 7 months ago
2006
In this note we discuss some issues concerning a geometric approach to process algebra. We mainly raise questions and are not yet able to present significant answers.
WOSP
2000
ACM
13 years 11 months ago
2000
ACM
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
FORTE
1996
13 years 8 months ago
1996
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...