Distributed maximum maintenance on hierarchically divided graphs
Abstract
References
References
Index Terms
- Distributed maximum maintenance on hierarchically divided graphs
Recommendations
π-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures
A key aspect of the formal development of any software system is the specification and stepwise refinement of its architecture. In a stepwise refinement, a sequence of steps starting from an abstract specification of the architecture leads to a concrete,...
Formally Modeling and Verifying Ricart & Agrawala Distributed Mutual Exclusion Algorithm
APAQS '01: Proceedings of the Second Asia-Pacific Conference on Quality SoftwareOne of the promising approaches to creating quality software is to formally model systems, describe the models ina formal specification language, and verify that the systems have some desirable properties based on the formaldocuments with an automatic ...
A UNITY-Based Formalism for Dynamic Distributed Systems
IPDPS '03: Proceedings of the 17th International Symposium on Parallel and Distributed ProcessingWe describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and proof of systems where processes may be created and destroyed, and where ...
Comments
Information & Contributors
Information
Published In
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 37Total Downloads
- Downloads (Last 12 months)12
- Downloads (Last 6 weeks)3
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in