1532 search results - page 170 / 307 » An Algebraic Process Calculus |
144
click to vote
LMO
1996
15 years 6 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
161
click to vote
IS
2006
15 years 4 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
153
click to vote
EUROMICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controll...
140
click to vote
RTSS
1998
IEEE
15 years 9 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....
149
click to vote
TABLEAUX
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. PA (Process algebra) is the name that has become common use to denote the algebra with a sequential and parallel operator (without communication), plus recursion. PA-proc...