Parallel program design: a foundation
Parallel program design: a foundation
Distributed reset (extended abstract)
FST and TC 10 Proceedings of the tenth conference on Foundations of software technology and theoretical computer science
Adaptivity through distributed convergence
Adaptivity through distributed convergence
ACM Transactions on Programming Languages and Systems (TOPLAS)
A foundation of fault-tolerant computing
A foundation of fault-tolerant computing
Model checking and modular verification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Composition of assumption-commitment specifications in a UNITY style
TAPSOFT '93 Selected papers of the colloquium on Formal approaches of software engineering
Specification and verification of fault-tolerance, timing, and scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties
HUG '93 Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications
Towards the Formal Design of Self-Stabilizing Distributed Algorithms
STACS '93 Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science
Factorising temporal specifications
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
| Hi-index | 0.01 |
This paper presents a theory of component based development for exception-handling in fault tolerant systems. The theory is based on a general theory of composition, which enables us to factorize the temporal specification of a system into the specifications of its components. This is a new development because in the past efforts to set up such a theory have always been hindered by the problem of composing progress properties.