Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
423061 | Electronic Notes in Theoretical Computer Science | 2006 | 23 Pages |
Abstract
In wireless systems, the communication mechanism combines features of broadcast, synchrony, and asynchrony. We develop an operational semantics for a calculus of wireless systems. We present a Reduction Semantics and a Labelled Transition Semantics and prove a correspondence result between them. We first consider a core calculus, essentially with only the primitives for communication, and then a few extensions.A major goal of the semantics is to describe the forms of interferences among the activities of processes that are peculiar of wireless systems. Such interferences occur when a location is simultaneously reached by two transmissions.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics