Topological Self-Stabilization with Name-Passing Process Calculi

DOI10.4230/LIPICS.CONCUR.2016.19MaRDI QIDQ4608671zbMATH OpenOpenAlexFDO

Authors Christina Rickmann, Christoph Wagner, Uwe Nestmann, Stefan Schmid

Publication date 21 March 2018

Full work available at URL https://dblp.uni-trier.de/db/conf/concur/concur2016.html#RickmannWNS16

zbMATH Keywords

distributed algorithmsfault tolerancelinearizationprocess calculitopological self-stabilization

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15)

Recommendations

• scientific article; zbMATH DE number 1566482
• Self-stabilizing processes
• Self-stabilization with path algebra
• scientific article; zbMATH DE number 3902015
• Decidability of behavioral equivalences in process calculi with name scoping
• Topology for Computations of Concurrent Automata
• scientific article; zbMATH DE number 1304099
• scientific article; zbMATH DE number 1231597
• Type-based self-stabilisation for computational fields

Cited in

(3)

• A note on the parallel runtime of self-stabilizing graph linearization
• Time complexity of distributed topological self-stabilization: the case of graph linearization
• Towards higher-dimensional topological self-stabilization: a distributed algorithm for Delaunay graphs

This page was built for publication: Topological Self-Stabilization with Name-Passing Process Calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4608671)