1730 search results - page 232 / 346 » Algebra and Computation |
140
click to vote
COORDINATION
2007
Springer
15 years 10 months ago
2007
Springer
We investigate, in a process algebraic setting, a new notion of compliance that we call strong service compliance: composed services are strong compliant if their composition is bo...
120
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— A control-plane architecture for supporting advance reservation of dedicated bandwidth channels on a switched network infrastructure is described including the front-end web in...
128
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper a novel job allocation scheme in distributed systems (TAG) is modelled using the Markovian process algebra PEPA. This scheme requires no prior knowledge of job size ...
117
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
135
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...