1875 search results - page 3 / 375 » A Calculus of Broadcasting Systems |
FOSSACS
2001
Springer
13 years 10 months ago
2001
Springer
The rewriting calculus, or Rho Calculus (ρCal), is a simple calculus that uniformly integrates abstraction on patterns and nondeterminism. Therefore, it fully integrates rewriting...
GLOBECOM
2009
IEEE
14 years 24 days ago
2009
IEEE
Abstract— Quickest detection is applied in the spectrum sensing of cognitive radio systems when multiple secondary users collaborate with limited communication time slots. When t...
AINA
2009
IEEE
14 years 26 days ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
FOSSACS
2007
Springer
14 years 6 days ago
2007
Springer
The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly integrates first-order term rewriting and λ-calcul...
CALCO
2005
Springer
13 years 11 months ago
2005
Springer
We propose a coalgebraic model of the Fusion calculus based on HD-automata. The main advantage of the approach is that the partition refinement algorithm designed for HD-automata ...