Causal precedent relations among messages in object-based systems

Distributed applications are realized by cooperation of a group of multiple objects. In the group cooperation, a message is multicast and multiple kinds of messages are in parallel sent to multiple destinations. The object waits for multiple messages in conjunctive and disjunctive ways from multiple objects. We newly define a novel precedent relation of messages exchanged among objects in presence of multicast and parallel-cast and conjunctive-receipt and disjunctive-receipt of messages.