2013
DOI: 10.1007/978-3-642-38493-6_2
|View full text |Cite
|
Sign up to set email alerts
|

Abstract: Abstract. We present a timed broadcast process calculus for wireless networks at the MAC-sublayer where time-dependent communications are exposed to collisions. We define a reduction semantics for our calculus which leads to a contextual equivalence for comparing the external behaviour of wireless networks. Further, we construct an extensional LTS (labelled transition system) which models the activities of stations that can be directly observed by the external environment. Standard bisimulations in this novel … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

1
9
1

Year Published

2013
2013
2018
2018

Publication Types

Select...
4
2
1

Relationship

5
2

Authors

Journals

citations
Cited by 10 publications
(11 citation statements)
references
References 24 publications
1
9
1
Order By: Relevance
“…|====⇒ Θ ′′ for some Θ ′′ such that ∆ ′′ (✁ s ) e Θ ′′ . Finally, since ∆ ′′ τ |== ⇒ ∆, by the previous case 5 we obtain that Θ ′′ τ |== ⇒ Θ for some Θ such that ∆ (✁ s ) e Θ. Therefore we have shown that…”
Section: Technical Developmentsupporting
confidence: 60%
See 2 more Smart Citations
“…|====⇒ Θ ′′ for some Θ ′′ such that ∆ ′′ (✁ s ) e Θ ′′ . Finally, since ∆ ′′ τ |== ⇒ ∆, by the previous case 5 we obtain that Θ ′′ τ |== ⇒ Θ for some Θ such that ∆ (✁ s ) e Θ. Therefore we have shown that…”
Section: Technical Developmentsupporting
confidence: 60%
“…A variant of this calculus which considers only networks with flat topology is presented in [5]. Here the authors develop a notion of reduction barbed congruence for their calculus; they also introduce an extensional semantics whose induced weak bisimulation principle is proved to be sound and complete with respect to the barbed congruence.…”
Section: Case Study: Probabilistic Routingmentioning
confidence: 99%
See 1 more Smart Citation
“…Our calculus takes inspiration from algebraic models for wireless systems [21,29,23,14,13,24,25,19,22,35,12,8,5]. All these models adopt broadcast communication on partial topologies, while we consider point-to-point communication, as in [20].…”
Section: Conclusion Related and Future Workmentioning
confidence: 99%
“…Prop. 5 was inspired by [8]. A fully abstract observational theory for untimed ad hoc networks can be found in [23,14].…”
Section: Conclusion Related and Future Workmentioning
confidence: 99%