Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
ACM Transactions on Computer Systems (TOCS)
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
Hyper/J™: multi-dimensional separation of concerns for Java™
Proceedings of the 24th International Conference on Software Engineering
ACM SIGACT News
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
ISORC '98 Proceedings of the The 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Distributed Computing
Hi-index | 0.00 |
We present a template mechanism which allows collective behavior and its invariants to be expressed in an abstract form. The mechanism supplements a view-based decomposition of distributed collaboration. Together templates and composition allow common idioms of distributed behavior to be specified and verified in an abstract form, and to be integrated in specifications. Two templates from a formal specification of Lamport's Paxos algorithm are given as examples.