Progress, justness, and fairness
RV Glabbeek, P Höfner - ACM Computing Surveys (CSUR), 2019 - dl.acm.org
Progress, Justness, and Fairness Page 1 69 Progress, Justness, and Fairness ROB VAN
GLABBEEK and PETER HÖFNER, Data61, CSIRO and UNSW, Australia Fairness assumptions …
GLABBEEK and PETER HÖFNER, Data61, CSIRO and UNSW, Australia Fairness assumptions …
[图书][B] Modeling companion for software practitioners
E Börger, A Raschke - 2018 - Springer
The proposed method provides this support by a combination of its abstraction concept and
its operational character: models come as behavioral models in the precise and simple form …
its operational character: models come as behavioral models in the precise and simple form …
Predictive Model Techniques with Energy Efficiency for IoT‐Based Data Transmission in Wireless Sensor Networks
R Bharathi, S Kannadhasan, B Padminidevi… - Journal of …, 2022 - Wiley Online Library
Wireless sensor networks are limited by the vast majority of goods with limited resources.
Power consumption, network longevity, throughput, routing, and network security are only a …
Power consumption, network longevity, throughput, routing, and network security are only a …
A process algebra for wireless mesh networks
We propose a process algebra for wireless mesh networks that combines novel treatments
of local broadcast, conditional unicast and data structures. In this framework, we model the …
of local broadcast, conditional unicast and data structures. In this framework, we model the …
Automated analysis of AODV using UPPAAL
This paper describes an automated, formal and rigorous analysis of the Ad hoc On-Demand
Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh …
Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh …
Modelling and verifying the AODV routing protocol
This paper presents a formal specification of the Ad hoc On-demand Distance Vector
(AODV) routing protocol using AWN (Algebra for Wireless Networks), a recent process …
(AODV) routing protocol using AWN (Algebra for Wireless Networks), a recent process …
Improving channel assignment in multi-radio wireless mesh networks with learning automata
Wireless mesh networks (WMNs) consist of static nodes that usually have one or more
radios or media. Optimal channel assignment (CA) for nodes is a challenging problem in …
radios or media. Optimal channel assignment (CA) for nodes is a challenging problem in …
[HTML][HTML] Modeling and analyzing mobile ad hoc networks in Real-Time Maude
Modeling and analyzing mobile ad hoc networks (MANETs) pose non-trivial challenges to
formal methods. Time, geometry, communication delays and failures, mobility, and uni-and …
formal methods. Time, geometry, communication delays and failures, mobility, and uni-and …
Structure preserving bisimilarity, supporting an operational Petri net semantics of CCSP
RJ van Glabbeek - Correct System Design: Symposium in Honor of Ernst …, 2015 - Springer
In 1987 Ernst-Rüdiger Olderog provided an operational Petri net semantics for a subset of
CCSP, the union of Milner's CCS and Hoare's CSP. It assigns to each process term in the …
CCSP, the union of Milner's CCS and Hoare's CSP. It assigns to each process term in the …
Sequence numbers do not guarantee loop freedom: AODV can yield routing loops
In the area of mobile ad-hoc networks and wireless mesh networks, sequence numbers are
often used in routing protocols to avoid routing loops. It is commonly stated in protocol …
often used in routing protocols to avoid routing loops. It is commonly stated in protocol …