Towards a Calculus For Wireless Systems | Zendy

Nicola Mezzetti | Zendy; Davide Sangiorgi | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Towards a Calculus For Wireless Systems

Author(s) -

Nicola Mezzetti,

Davide Sangiorgi

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.04.017

Subject(s) - semantics (computer science) , operational semantics , computer science , wireless , process calculus , formal semantics (linguistics) , theoretical computer science , programming language , core (optical fiber) , calculus (dental) , telecommunications , medicine , dentistry

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research