397 search results - page 51 / 80 » The lambda calculus is algebraic |
168
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
It is shown that bandwidth estimation in packet networks can be viewed in terms of min-plus linear system theory. The available bandwidth of a link or complete path is expressed i...
146
click to vote
ASIAN
1999
Springer
15 years 10 months ago
1999
Springer
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...
162
click to vote
EMISA
2006
Springer
15 years 9 months ago
2006
Springer
: This paper summarizes how an algebra for mobile systems, the -calculus, can be applied as unified formal foundation to service oriented architectures (SOA). The concepts accounte...
134
click to vote
MOVEP
2000
15 years 9 months ago
2000
We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processe...
147
click to vote
WD
2010
15 years 3 months ago
2010
Energy consumption in general and interference in particular are among the most critical issues in wireless networks. In this paper we present the E-BUM calculus, a Energy-aware ca...