22 search results - page 1 / 5 » A Fully Abstract Relational Model of Syntactic Control of In... |
CSL
2002
Springer
13 years 5 months ago
2002
Springer
TCS
2008
13 years 5 months ago
2008
We investigate the decidability of observational equivalence and approximation in Reynolds' "Syntactic Control of Interference" (SCI), a prototypical functionalimpe...
ICALP
2005
Springer
13 years 10 months ago
2005
Springer
We investigate the decidability of observational equivalence and approximation in “Syntactic Control of Interference” (SCI). By asg denotations of terms in an inequationally fu...
SECON
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--Wireless interference is the major cause of degradation of capacity in 802.11 wireless networks. We present an approach to estimate the interference between nodes and lin...
CAV
2003
Springer
13 years 9 months ago
2003
Springer
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....