7109 search results - page 355 / 1422 » Process Algebra with Combinators |
154
click to vote
DDECS
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
134
click to vote
IPPS
2006
IEEE
15 years 11 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 ...
147
click to vote
PEWASUN
2006
ACM
15 years 11 months ago
2006
ACM
Understanding the performance of backoff algorithms in multihop ad hoc networks is a key feature to design efficient Medium Access Protocols for wireless networks. The 802.11 bac...
122
click to vote
SAC
2006
ACM
15 years 11 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...
173
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...