104 search results - page 9 / 21 » Action Abstraction in Timed Process Algebra |
ECOOP
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
TIME
1994
IEEE
13 years 12 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
ICALP
1998
Springer
14 years 50 min ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
FSTTCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
AFPAC
2000
Springer
14 years 4 days ago
2000
Springer
Abstract. Most of the processing in vision today uses spatially invariant operations. This gives efficient and compact computing structures, with the conventional convenient separa...