Topological Self-Stabilization with Name-Passing Process Calculi

DOI10.4230/LIPICS.CONCUR.2016.19zbMATH Open1392.68314OpenAlexW2963118408MaRDI QIDQ4608671FDOQ4608671

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

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

zbMATH Keywords

distributed algorithmsfault tolerancelinearizationprocess calculitopological self-stabilization

Mathematics Subject Classification ID

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

Cited In (3)

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

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)