20 search results - page 3 / 4 » The Real-Time Process Algebra (RTPA) |
163
click to vote
FASE
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
143
Voted
REX
1991
15 years 9 months ago
1991
161
click to vote
RTSS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
157
Voted
RTSS
1998
IEEE
15 years 10 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
168
click to vote
TIME
2005
IEEE
15 years 11 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...