188 search results - page 5 / 38 » Forgetting the Time in Timed Process Algebra |
REX
1991
13 years 11 months ago
1991
CONCUR
1992
Springer
13 years 11 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
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
ERCIMDL
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. With the rapid development of on-line information services, information technologies for on-line information processing have been receiving much attention recently. Clust...
CONCUR
1991
Springer
13 years 11 months ago
1991
Springer
We propose a process algebra obtained by adapting the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, 2002, Chap....