38 search results - page 1 / 8 » A criterion for separating process calculi |
CORR
2010
Springer
13 years 3 months ago
2010
Springer
FMCO
2005
Springer
13 years 11 months 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...
CONCUR
2008
Springer
13 years 7 months ago
2008
Springer
In this paper, we present a unified approach to evaluating the relative expressive power of process calculi. In particular, we identify a small set of criteria (that have already b...
ICASSP
2011
IEEE
12 years 9 months ago
2011
IEEE
In this paper, we present a new algorithm for solving the permutation ambiguity in convolutive blind source separation. A common approach for separation of convolutive mixtures is...
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms...