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

^*此作品的通讯作者

软件工程学院

University of Sydney
Nanjing University of Aeronautics and Astronautics

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

1 引用（Scopus）

摘要

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.

源语言	英语
主期刊名	Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings
编辑	Pedro Ribeiro, Augusto Sampaio
出版商	Springer
页	198-216
页数	19
ISBN（印刷版）	9783030310370
DOI	https://doi.org/10.1007/978-3-030-31038-7_10
出版状态	已出版 - 2019
活动	7th International Symposium on Unifying Theories of Programming, UTP 2019 - Porto, 葡萄牙期限: 8 10月 2019 → 8 10月 2019

出版系列

姓名	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
卷	11885 LNCS
ISSN（印刷版）	0302-9743
ISSN（电子版）	1611-3349

会议

会议	7th International Symposium on Unifying Theories of Programming, UTP 2019
国家/地区	葡萄牙
市	Porto
时期	8/10/19 → 8/10/19

访问文件

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

其它文件与链接

链接到 Scopus 的出版物

引用此

Wu, X., Zhu, H., & Xie, W. (2019). UTP Semantics of a Calculus for Mobile Ad Hoc Networks. 在 P. Ribeiro, & A. Sampaio (编辑), Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings (页码 198-216). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 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. 编辑 / Pedro Ribeiro ; Augusto Sampaio. Springer, 2019. 页码 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. 在 P Ribeiro & A Sampaio (编辑), 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), 卷 11885 LNCS, Springer, 页码 198-216, 7th International Symposium on Unifying Theories of Programming, UTP 2019, Porto, 葡萄牙, 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. 编辑 / Pedro Ribeiro; Augusto Sampaio. Springer, 2019. 页码 198-216 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 11885 LNCS).

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

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. 在 Ribeiro P, Sampaio A, 编辑, Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Proceedings. Springer. 2019. 页码 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

摘要

出版系列

会议

访问文件

其它文件与链接

学术指纹

引用此