1532 search results - page 64 / 307 » An Algebraic Process Calculus |
CONCUR
1994
Springer
15 years 1 months ago
1994
Springer
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
KES
2004
Springer
15 years 3 months ago
2004
Springer
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
IPL
2007
14 years 9 months ago
2007
There are two popular approaches to specifying the semantics of process algebras: labelled transition semantics and reaction semantics. While the notion of free name is rather unp...
TSP
2008
14 years 9 months ago
2008
This paper introduces a general and axiomatic approach to linear signal processing (SP) that we refer to as the algebraic signal processing theory (ASP). Basic to ASP is the linear...
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...