Modeling and Reasoning About Wireless Networks: A Graph-based Calculus Approach

Liu, Shichao; Jiang, Ying

doi:10.48550/arxiv.1701.02526

2017

DOI: 10.48550/arxiv.1701.02526

|View full text |Cite

Preprint

Modeling and Reasoning About Wireless Networks: A Graph-based Calculus Approach

Shichao Liu¹,

Ying Jiang²

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2017

Publication Types

Select...

Other1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Modeling and reasoning about wireless networks: A graph-based calculus approach

Liu

Jiang

2017

2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)

View full text Add to dashboard Cite

We propose a graph-based process calculus for modeling and reasoning about wireless networks with local broadcasts. Graphs are used at syntactical level to describe the topological structures of networks. This calculus is equipped with a reduction semantics and a labelled transition semantics. The former is used to define weak barbed congruence. The latter is used to define a parameterized weak bisimulation emphasizing locations and local broadcasts. We prove that weak bisimilarity implies weak barbed congruence. The potential applications are illustrated by some examples and two case studies. τ − → M ′ (unobservable transition). As the first theoretical result, we prove that the two semantics describe the same behaviours.Thirdly, two kinds of behavioural equivalences for GCWN are developed. We first adopt the concept of barb [10] to define a weak barbed congruence without location information. Barbed congruence is natural to describe that two networks are identical if they exhibit the same barbs during their reductions in any context. However, barbed congruence is hard to handle directly, because one has to consider all possible contexts

show abstract

Modeling and reasoning about wireless networks: A graph-based calculus approach

Liu

Jiang

2017

2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)

View full text Add to dashboard Cite

show abstract

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

Modeling and Reasoning About Wireless Networks: A Graph-based Calculus Approach

Cited by 1 publication

References 17 publications

Modeling and reasoning about wireless networks: A graph-based calculus approach

Modeling and reasoning about wireless networks: A graph-based calculus approach

Contact Info

Product

Resources

About