FORMAL MODELING ROUTING PROTOCOLS IN MOBILE AD HOC NETWORKS

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

GHASSEMI FATEMEH; MOVAGHAR ALI

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: THE CSI JOURNAL ON COMPUTER SCIENCE AND ENGINEERING Year:2008 | Volume:5 | Issue:2-4 (B) Page(s): 46-55

Download Full-Text

Persian Verion

View:

1,426

Download:

Cites:

Information Journal Paper

Title

FORMAL MODELING ROUTING PROTOCOLS IN MOBILE AD HOC NETWORKS

Author(s)

GHASSEMI FATEMEH | MOVAGHAR ALI

Keywords

AD HOC NETWORK ALGEBRAQ4

RESTRICTED BROADCASTQ4

TOPOLOGY CHANGESQ4

Abstract

In this paper we provide a process algebra to formally analyze ad hoc protocols above network layer. Mainly our focus in this paper is on formal modeling and analysis of routing protocols. We explain the semantics of our algebra using labeled transition systems and then define an equivalence relation between them. Finally we illustrate application of our algebra by a case study on cluster formation process of cluster based ad hoc routing protocol.

Multimedia

No record.

Cites

No record.

References

No record.

Cite

APA: Copy

GHASSEMI, FATEMEH, & MOVAGHAR, ALI. (2008). FORMAL MODELING ROUTING PROTOCOLS IN MOBILE AD HOC NETWORKS. THE CSI JOURNAL ON COMPUTER SCIENCE AND ENGINEERING, 5(2-4 (B)), 46-55. SID. https://sid.ir/paper/70719/en

Vancouver: Copy

GHASSEMI FATEMEH, MOVAGHAR ALI. FORMAL MODELING ROUTING PROTOCOLS IN MOBILE AD HOC NETWORKS. THE CSI JOURNAL ON COMPUTER SCIENCE AND ENGINEERING[Internet]. 2008;5(2-4 (B)):46-55. Available from: https://sid.ir/paper/70719/en

IEEE: Copy

FATEMEH GHASSEMI, and ALI MOVAGHAR, “FORMAL MODELING ROUTING PROTOCOLS IN MOBILE AD HOC NETWORKS,” THE CSI JOURNAL ON COMPUTER SCIENCE AND ENGINEERING, vol. 5, no. 2-4 (B), pp. 46–55, 2008, [Online]. Available: https://sid.ir/paper/70719/en

Related Journal Papers