Group communication specifications: a comprehensive study
ACM Computing Surveys (CSUR)
The Journal of Supercomputing
On Proving Large Distributed Systems: Petri Net Modules Verification
PaCT '97 Proceedings of the 4th International Conference on Parallel Computing Technologies
A Compositional Approach to Monitoring Distributed Systems
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Efficient Decentralized Monitoring of Safety in Distributed Systems
Proceedings of the 26th International Conference on Software Engineering
Reliable Distributed Systems: Technologies, Web Services, and Applications
Reliable Distributed Systems: Technologies, Web Services, and Applications
Automated Online Monitoring of Distributed Applications through External Monitors
IEEE Transactions on Dependable and Secure Computing
Distributed Systems: Principles and Paradigms (2nd Edition)
Distributed Systems: Principles and Paradigms (2nd Edition)
An empirical study of reliable multicast protocols over Ethernet-connected networks
Performance Evaluation
RSP '07 Proceedings of the 18th IEEE/IFIP International Workshop on Rapid System Prototyping
Creating and Validating Embedded Assertion Statecharts
IEEE Distributed Systems Online
Formal specification of the MPI-2.0 standard in TLA+
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming
Fundamentals of Distributed Computing: A Practical Tour of Vector Clock Systems
IEEE Distributed Systems Online
FiLM: A Runtime Monitoring Tool for Distributed Systems
SSIRI '09 Proceedings of the 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement
Rigorous analysis of byzantine causal order using Event-B
Proceedings of the International Conference and Workshop on Emerging Trends in Technology
Runtime verification of interactions: from MSCs to aspects
RV'07 Proceedings of the 7th international conference on Runtime verification
Interaction-based Runtime Verification for Systems of Systems Integration
Journal of Logic and Computation
Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API
Science of Computer Programming
Enabling concurrent multithreaded MPI communication on multicore petascale systems
EuroMPI'10 Proceedings of the 17th European MPI users' group meeting conference on Recent advances in the message passing interface
Formal analysis of message passing
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Constructing formal rules to verify message communication in distributed systems
The Journal of Supercomputing
Hi-index | 0.00 |
Multicasting some pieces of information such as messages or packets (called dispatches) from source node(s) to a group of target nodes are governed by a specific sequence in the networked systems. The sequence is called a consensus that indicates an ordering on dispatches to be viewed by the target nodes. Achievement of consensus is a concern in some networked based systems such as distributed ones because the lack of consensus leads to conflict among target nodes reaction. A consensus protocol has some properties to be checked when a source node multicasts a sequence of dispatches to target nodes. The CBCAST protocol is a consensus protocol having properties for ordering and synchronization of dispatches in network communications. This paper thinks of the properties and formulates axioms to check them. The axioms can be practiced for network applications such as group communication and web services. Our approach has two phases consisting of modeling and formulation. The first phase addresses specification of sender and recipient processes by tabular automata. The second phase addresses formulation of axioms using the automaton.