Using the topological characterization of synchronous models

MaRDI QIDQ2843713zbMATH OpenFDO

Authors Giovanni Adagio

Publication date 23 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S157106610480834X

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An overview of synchronous message-passing and topology
• Toward a Topological Characterization of Asynchronous Complexity
• An asynchronous computability theorem for fair adversaries
• A topological perspective on distributed network algorithms
• The topological structure of asynchronous computability

Cited in

(1)

• An overview of synchronous message-passing and topology

This page was built for publication: Using the topological characterization of synchronous models

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