Formal Semantics of Composite Events for Distributed Environments

  title={Formal Semantics of Composite Events for Distributed Environments},
  author={Shuang Yang and Sharma Chakravarthy},
Languages for event specification in centralized systems and their semantics have received considerable attention in the literature. In contrast, very little work exists on extending the semantics of event specification languages to distributed environments. This paper provides a well-defined notion of distributed composite time stamps and their least restricted strict ordering are defined. The ordering is carefully chosen based on mathematical reasoning to ensure the best semantics. The… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper


Publications citing this paper.
Showing 1-10 of 27 extracted citations


Publications referenced by this paper.
Showing 1-10 of 12 references

Composite events for distributed environments: Semantics, algorithms, and implementation

S. Yang
Master’s thesis, • 1998
View 3 Excerpts
Highly Influenced

Design and simulation of clock synchronization in distributed systems

A. V. Schedl
Master’s thesis, Institute fur Informatik, Aug • 1996
View 1 Excerpt

Edward.The Essential Distributed Objects Survival Guide

R. Orfali, D. Harkey
John Wiley, • 1996
View 1 Excerpt

Similar Papers

Loading similar papers…