329 search results - page 12 / 66 » Asynchronous Communication in Process Algebra |
FTCS
1993
13 years 9 months ago
1993
Failure detectors (or, more accurately Failure Suspectors { FS) appear to be a fundamental service upon which to build fault-tolerant, distributed applications. This paper shows t...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
— Recently Li and Xia have proposed a transmission scheme for wireless relay networks based on the Alamouti space time code and orthogonal frequency division multiplexing to comb...
JLP
2007
13 years 7 months ago
2007
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
—As a resource reservation mechanism, the Resource ReSerVation Protocol (RSVP) faces a lot of challenges when applying it to the wireless and mobile networks. The interworking pr...
FMOODS
2007
13 years 9 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...