3239 search results - page 122 / 648 » A Logical Process Calculus |
96
Voted
INFOCOM
2005
IEEE
15 years 6 months ago
2005
IEEE
— We consider a queueing system with controllable service rate; for example, a transmitter whose rate can be controlled by varying the transmission power. For such a system we ob...
BNCOD
1997
15 years 2 months ago
1997
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...
116
click to vote
ENTCS
2008
15 years 24 days ago
2008
We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...
114
click to vote
ENTCS
2006
15 years 23 days ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
49
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
We develop a version of the picalculus Picost where channels are interpreted as resources which have costs associated with them. Code runs under the financial responsibility of own...