Opening book details…
Can I read Towards a Calculus For Wireless Systems on EtoBox?
Towards a Calculus For Wireless Systems by Nicola Mezzetti; Davide Sangiorgi is a Computer Science article available to read on EtoBox.
What is Towards a Calculus For Wireless Systems about?
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.
Who reads Towards a Calculus For Wireless Systems?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Nicola Mezzetti; Davide Sangiorgi
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV; Amsterdam: Elsevier BV (ISSN 1571-0661)
- Published
- 2006
- Language
- EN
- Field
- Computer Science (Physical Sciences)