Temporal interactions of intervals in distributed systems

Journal of Computer and System Sciences

Volumn 52, Issue 2, 1996, Pages 287-298

  Kshemkalyani, Ajay D ^a  

^a IBM   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER NETWORKS; COMPUTER SIMULATION; INFORMATION THEORY; SYNCHRONIZATION;

INTERPROCESS COMMUNICATION; INTERVAL INTERACTION; TEMPORAL INTERVAL;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0030125764     PISSN: 00220000     EISSN: None     Source Type: Journal    
DOI: 10.1006/jcss.1996.0022     Document Type: Article

References (16)

1. J. W. de Bakker, W. P. de Roever, and G. Rozenberg (Eds.), "Linear Time, Branching Time, and Partial Orders in Logics and Models of Concurrency," Lecture Notes in Computer Science, Vol. 354, Springer-Verlag, New York/Berlin, 1988.
2. J. V. Benthem, The Logic of Time, Kluwer Academic Publishers, (1 ed. 1983), 2 ed. 1991.
3. B. Charron-Bost, Combinatorics and geometry of consistent cuts: Application to concurrency theory, in "Proceedings of the International Workshop on Distributed Algorithms, 1989," Lecture Notes in Computer Science, Vol. 392, pp. 45-56, Springer-Verlag, New York/ Berlin, 1989.
4. H. A. C. Dobbs, The dimensions of the sensible present, in "The Study of Time," pp. 274-292, Springer-Verlag, New York/Berlin, 1972.
5. P. C. Fishburn, "Interval Orders and Interval Graphs: A Study of Partially Ordered Sets," Wiley, New York, 1985.
6. V. K. Garg and B. Waldecker, Detection of weak and unstable predicates in distributed programs, IEEE Trans. Parallel Distrib. Systems 5, No. 3 (1994), 299-307.
7. C. L. Hamblin, Instants and intervals, in "The Study of Time," pp. 324-332, Springer-Verlag, New York/Berlin, 1972.
8. A. D. Kshemkalyani, "Temporal Interactions of Intervals in Distributed Systems," Technical Report TR29.1933, IBM Research, Triangle Park, North Carolina, Sept. 1994.
9. L. Lamport, Time, Clocks, and the ordering of events in a distributed system, Comm. ACM 21, No. 7 (1978), 558-565.
10. L. Lamport, On interprocess communication. I. Basic formalism, Distrib. Comput. 1 (1986), 77-85.
11. L. Lamport, On interprocess communication. II. Algorithms, Distrib. Comput. 1 (1986), 86-101.
12. L. Lamport, The mutual exclusion problem. I. A theory of interprocess communication, J. Assoc. Comput. Mach. 33, No. 2 (1986), 313-326.
13. T. D. C. Little and A. Ghafoor, Interval-based conceptual models for time-dependent multimedia data, IEEE Trans. Knowledge Data Eng. 5, No. 4 (1993), 551-563.
14. F. Mattern, Virtual time and global states of distributed systems, in "Parallel and Distributed Algorithms," pp. 215-226, North-Holland, Amsterdam, 1989.
15. H. Minkowski, Space and time, in "The Principle of Relativity," pp. 73-91, Dover, New York, 1923.
16. S. Son and N. Agarwal, Synchronization of temporal constructs in distributed multimedia systems with controlled accuracy, in "Proceedings, 1st IEEE International Conf. on Multimedia Computing and Systems, May 1994."