397 search results - page 51 / 80 » The lambda calculus is algebraic |
102
click to vote
CORR
2008
Springer
14 years 12 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...
ASIAN
1999
Springer
15 years 4 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...
106
click to vote
EMISA
2006
Springer
15 years 3 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...
MOVEP
2000
15 years 3 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...
WD
2010
14 years 9 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...