120 search results - page 3 / 24 » Restricted Broadcast Process Theory |
FOSSACS
2007
Springer
14 years 1 months ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper we consider the vector perturbation (VP) precoding scheme for the multiuser MISO broadcast channel proposed by Hochwald et al. under the practical assumption that th...
TAPSOFT
1991
Springer
13 years 11 months ago
1991
Springer
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
Theories identifying well-formed systems of processes—those that are free of communication errors and enjoy strong properties such as deadlock freedom—are based either on sessi...
TSP
2008
13 years 7 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...