4353 search results - page 245 / 871 » Expressiveness of Process Algebras |
202
click to vote
SIGMOD
2010
ACM
15 years 10 months ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...
204
click to vote
DBPL
1993
Springer
15 years 10 months ago
1993
Springer
In this paper we study the expressive power of query languages for nested bags. We de ne the ambient bag language by generalizing the constructs of the relational language of Brea...
146
click to vote
FMCO
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
163
click to vote
ICALP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a finite ω-complete axiomatization for the process algebra BCCSP modulo failure semantics, in case of a finite alphabet. This solves an open question by Gro...
159
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
We prove that if a finite alphabet of actions contains at least two elements, then the equational theory for the process algebra BCCSP modulo any semantics no coarser than readines...