Efficient Verification of a Multicast Protocol for Mobile Computing
From MaRDI portal
Publication:2747744
DOI10.1093/COMJNL/44.1.21zbMath0983.68123OpenAlexW2117780369MaRDI QIDQ2747744
G. Anastasi, Alberto Bartoli, Antonella Santone, Nicoletta De Francesco
Publication date: 21 April 2002
Published in: The Computer Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/comjnl/44.1.21
Network design and communication in computer systems (68M10) Abstract data types; algebraic specification (68Q65)
Related Items (4)
\(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes ⋮ Formal Verification of Concurrent Systems via Directed Model Checking ⋮ Abstract reduction in directed model checking CCS processes ⋮ Using heuristic search for finding deadlocks in concurrent systems
This page was built for publication: Efficient Verification of a Multicast Protocol for Mobile Computing
