scientific article
From MaRDI portal
Publication:2865941
zbMath1278.68003MaRDI QIDQ2865941
Publication date: 12 December 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Distributed algorithms (68W15) Programming techniques (educational aspects) (97P50)
Related Items (6)
Model checking mobile ad hoc networks ⋮ A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols ⋮ Patch Graph Rewriting ⋮ A note on the message complexity of Cidon's distributed depth-first search algorithm ⋮ An automata-theoretic approach to the verification of distributed algorithms ⋮ Fair Termination for Parameterized Probabilistic Concurrent Systems
This page was built for publication:
