UTP Semantics of a Calculus for Mobile Ad Hoc Networks

Xi Wu; Huibiao Zhu; Wanling Xie

doi:10.1007/978-3-030-31038-7_10

UTP Semantics of a Calculus for Mobile Ad Hoc Networks

Xi Wu
, Huibiao Zhu^*
, Wanling Xie

^*Corresponding author for this work

Software Engineering Institute

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Abstract

The mCWQ calculus was recently proposed for describing the features of local broadcast and mobility in Mobile Ad Hoc Networks (MANETs), focusing on the quality of wireless communications. In this paper, we investigate the denotational semantics for mCWQ calculus, whose behaviour is composed of the behaviours of subnetworks. A trace variable tr is introduced to record the communications among wireless nodes as well as the time points when the communications happen. A set of algebraic laws, especially the laws about the communications with quality binders, are also explored based on the formalized model.

Original language	English
Title of host publication	Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings
Editors	Pedro Ribeiro, Augusto Sampaio
Publisher	Springer
Pages	198-216
Number of pages	19
ISBN (Print)	9783030310370
DOIs	https://doi.org/10.1007/978-3-030-31038-7_10
State	Published - 2019
Event	7th International Symposium on Unifying Theories of Programming, UTP 2019 - Porto, Portugal Duration: 8 Oct 2019 → 8 Oct 2019

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11885 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	7th International Symposium on Unifying Theories of Programming, UTP 2019
Country/Territory	Portugal
City	Porto
Period	8/10/19 → 8/10/19

Access to Document

10.1007/978-3-030-31038-7_10

Cite this

Wu, X., Zhu, H., & Xie, W. (2019). UTP Semantics of a Calculus for Mobile Ad Hoc Networks. In P. Ribeiro, & A. Sampaio (Eds.), Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings (pp. 198-216). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11885 LNCS). Springer. https://doi.org/10.1007/978-3-030-31038-7_10

Wu, Xi ; Zhu, Huibiao ; Xie, Wanling. / UTP Semantics of a Calculus for Mobile Ad Hoc Networks. Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings. editor / Pedro Ribeiro ; Augusto Sampaio. Springer, 2019. pp. 198-216 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{c1fe6c6f854a4edd893135ab053a2648,

title = "UTP Semantics of a Calculus for Mobile Ad Hoc Networks",

abstract = "The mCWQ calculus was recently proposed for describing the features of local broadcast and mobility in Mobile Ad Hoc Networks (MANETs), focusing on the quality of wireless communications. In this paper, we investigate the denotational semantics for mCWQ calculus, whose behaviour is composed of the behaviours of subnetworks. A trace variable tr is introduced to record the communications among wireless nodes as well as the time points when the communications happen. A set of algebraic laws, especially the laws about the communications with quality binders, are also explored based on the formalized model.",

author = "Xi Wu and Huibiao Zhu and Wanling Xie",

note = "Publisher Copyright: {\textcopyright} 2019, Springer Nature Switzerland AG.; 7th International Symposium on Unifying Theories of Programming, UTP 2019 ; Conference date: 08-10-2019 Through 08-10-2019",

year = "2019",

doi = "10.1007/978-3-030-31038-7\_10",

language = "英语",

isbn = "9783030310370",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "198--216",

editor = "Pedro Ribeiro and Augusto Sampaio",

booktitle = "Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings",

address = "德国",

}

Wu, X, Zhu, H & Xie, W 2019, UTP Semantics of a Calculus for Mobile Ad Hoc Networks. in P Ribeiro & A Sampaio (eds), Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11885 LNCS, Springer, pp. 198-216, 7th International Symposium on Unifying Theories of Programming, UTP 2019, Porto, Portugal, 8/10/19. https://doi.org/10.1007/978-3-030-31038-7_10

UTP Semantics of a Calculus for Mobile Ad Hoc Networks. / Wu, Xi; Zhu, Huibiao; Xie, Wanling.
Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings. ed. / Pedro Ribeiro; Augusto Sampaio. Springer, 2019. p. 198-216 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11885 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - UTP Semantics of a Calculus for Mobile Ad Hoc Networks

AU - Wu, Xi

AU - Zhu, Huibiao

AU - Xie, Wanling

PY - 2019

Y1 - 2019

N2 - The mCWQ calculus was recently proposed for describing the features of local broadcast and mobility in Mobile Ad Hoc Networks (MANETs), focusing on the quality of wireless communications. In this paper, we investigate the denotational semantics for mCWQ calculus, whose behaviour is composed of the behaviours of subnetworks. A trace variable tr is introduced to record the communications among wireless nodes as well as the time points when the communications happen. A set of algebraic laws, especially the laws about the communications with quality binders, are also explored based on the formalized model.

AB - The mCWQ calculus was recently proposed for describing the features of local broadcast and mobility in Mobile Ad Hoc Networks (MANETs), focusing on the quality of wireless communications. In this paper, we investigate the denotational semantics for mCWQ calculus, whose behaviour is composed of the behaviours of subnetworks. A trace variable tr is introduced to record the communications among wireless nodes as well as the time points when the communications happen. A set of algebraic laws, especially the laws about the communications with quality binders, are also explored based on the formalized model.

UR - https://www.scopus.com/pages/publications/85076116982

U2 - 10.1007/978-3-030-31038-7_10

DO - 10.1007/978-3-030-31038-7_10

M3 - 会议稿件

AN - SCOPUS:85076116982

SN - 9783030310370

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 198

EP - 216

BT - Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings

A2 - Ribeiro, Pedro

A2 - Sampaio, Augusto

PB - Springer

T2 - 7th International Symposium on Unifying Theories of Programming, UTP 2019

Y2 - 8 October 2019 through 8 October 2019

ER -

Wu X, Zhu H, Xie W. UTP Semantics of a Calculus for Mobile Ad Hoc Networks. In Ribeiro P, Sampaio A, editors, Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings. Springer. 2019. p. 198-216. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-31038-7_10

UTP Semantics of a Calculus for Mobile Ad Hoc Networks

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this