AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically

Go Generating

AI Traceability

AI parses the academic lineage of this thesis

Generate MRT

Modelling MAC-Layer Communications in Wireless Systems.

LOGICAL METHODS IN COMPUTER SCIENCE, no. 1 (2015)

Cited: 5|Views20

Full Text

View via Publisher

Other Links

dblp.uni-trier.de academic.microsoft.com arxiv.org

Bibtex

Keywords

wireless systemsbroadcast communicationcollisionstimed process calculibarbed congruenceMore(1+)

Abstract

We present a timed process calculus for modelling wireless networks in which individual stations broadcast and receive messages; moreover the broadcasts are subject to collisions. Based on a reduction semantics for the calculus we define a contextual equivalence to compare the external behaviour of such wireless networks. Further, we cons...More

Code:

Data:

Full Text

PPT (Upload PPT)

Similar

Reference

Cited

Author

Andrea Cerone

[0]

Matthew Hennessy

[0]

Massimo Merro

[0]

Your rating :

No Ratings