1875 search results - page 2 / 375 » A Calculus of Broadcasting Systems |
IANDC
2010
13 years 3 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
COORDINATION
2008
Springer
13 years 7 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
FMOODS
2003
13 years 6 months ago
2003
This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...
ROOM
2000
13 years 6 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
CIS
2004
Springer
13 years 10 months ago
2004
Springer
The pi calculus has been applied to modelling biochemical networks. In these applications, the modelling is done without considerations to exceptions. The Ipi calculus, the Interfe...