{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T02:13:10Z","timestamp":1648519990067},"reference-count":0,"publisher":"Zarqa University","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IAJIT"],"published-print":{"date-parts":[[2020,11,1]]},"abstract":"<jats:p>In distributed network algorithms, network flooding algorithm is considered one of the simplest and most fundamental algorithms. This research specifies the basic synchronous memory-less network flooding algorithm where nodes on the network don\u2019t have memory, for any fixed size of network, in Linear Temporal Logic. The specification can be customized to any single network topology or class of topologies. A specification of the termination problem is formulated and used to compare different topologies for earlier termination. This research gives a worked example of one topology resulting in earlier termination than another, for which we perform a formal verification using the model checker NuSMV<\/jats:p>","DOI":"10.34028\/iajit\/17\/6\/5","type":"journal-article","created":{"date-parts":[[2020,10,21]],"date-time":"2020-10-21T10:39:57Z","timestamp":1603276797000},"page":"867-874","source":"Crossref","is-referenced-by-count":0,"title":["Specification of Synchronous Network Flooding in Temporal Logic"],"prefix":"10.34028","volume":"17","author":[{"given":"Ra\u2019ed","family":"Bani Abdelrahman","sequence":"first","affiliation":[]},{"given":"Rafat","family":"Alshorman","sequence":"additional","affiliation":[]},{"given":"Walter","family":"Hussak","sequence":"additional","affiliation":[]},{"given":"Amitabh","family":"Trehan","sequence":"additional","affiliation":[]}],"member":"19944","container-title":["The International Arab Journal of Information Technology"],"original-title":[],"language":"en","deposited":{"date-parts":[[2020,10,21]],"date-time":"2020-10-21T10:39:59Z","timestamp":1603276799000},"score":1,"resource":{"primary":{"URL":"https:\/\/iajit.org\/PDF\/\/November%202020,%20No.%206\/18116.pdf"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,1]]},"references-count":0,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2020,11,1]]}},"URL":"https:\/\/doi.org\/10.34028\/iajit\/17\/6\/5","archive":["Internet Archive","Internet Archive"],"relation":{},"ISSN":["2309-4524","1683-3198"],"issn-type":[{"value":"2309-4524","type":"electronic"},{"value":"1683-3198","type":"print"}],"subject":[],"published":{"date-parts":[[2020,11,1]]}}}