Behavioural Models for Group Communications

Details Behavioural Models for Group Communications Behavioural Models for Group Communications

2010-10-14

arxiv.org/abs/1010.2824v1

EPTCS 37, 2010, pp. 42-56

Computer Science

Distributed, Parallel, and Cluster Computing

In Proceedings WCSI 2010, arXiv:1010.2337

Scientific paper

10.4204/EPTCS.37.4

Group communication is becoming a more and more popular infrastructure for efficient distributed applications. It consists in representing locally a group of remote objects as a single object accessed in a single step; communications are then broadcasted to all members. This paper provides models for automatic verification of group-based applications, typically for detecting deadlocks or checking message ordering. We show how to encode group communication, together with different forms of synchronisation for group results. The proposed models are parametric such that, for example, different group sizes or group members could be experimented with the minimum modification of the original model.

Affiliated with

Also associated with

No associations

Rating

Behavioural Models for Group Communications does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Behavioural Models for Group Communications, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Behavioural Models for Group Communications will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-285000