606 search results - page 6 / 122 » Discrete Time Process Algebra |
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
ICCSA
2005
Springer
14 years 1 months ago
2005
Springer
This article discusses the modelling and the evaluation of process of electronic signature (ES). According to a certain point of view, this process can be shown as a class of Dynam...
FUIN
2008
13 years 7 months ago
2008
We show that timed branching bisimilarity as defined by Van der Zwaag [16] and Baeten and Middelburg [2] is not an equivalence relation, in case of a dense time domain. We propose ...
FORTE
2001
13 years 8 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...