Treffer: A Compositional Framework for Designing Self-Stabilizing Distributed Algorithms
Title:
A Compositional Framework for Designing Self-Stabilizing Distributed Algorithms
Authors:
Contributors:
The Pennsylvania State University CiteSeerX Archives
Source:
Publication Year:
2013
Collection:
CiteSeerX
Document Type:
Fachzeitschrift
text
File Description:
application/pdf
Language:
English
Availability:
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.4AA5E391
Database:
BASE