A Calculus of Superimpositions for Distributed Systems

1st International Conference on Aspect-Oriented Software Development

Volumn , Issue , 2002, Pages 28-40

  Sihman, Marcelo ^a   Katz, Shmuel ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; DIGITAL LIBRARIES; OBJECT ORIENTED PROGRAMMING;

SUPERIMPOSITIONS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0141761290     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/508387.508391     Document Type: Conference Paper

References (14)

1. R. J. R. Back and K. Sere. Superposition refinement of reactive systems. Formal Aspects of Computing, 8(3):324-346, 1996.
2. V. Barbosa and E. Gafni. Concurrency in heavily loaded neighborhood-constrained systems. ACM Trans. on Programming Languages and Systems, 11(4):562-584, Oct 1989.
3. L. Bougé and N. Francez. A compositional approach to superimposition. In ACM Symposium on Principles of Programming Languages, pages 240-249, Jan 1988.
4. K. M. Chandy and J. Misra. Parallel Program Design - a Foundation. Addison-Wesley, 1988.
5. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite state concurrent systems using temporal logic specifications. ACM Trans. on Programming Languages and Systems, 8(2):244-263, 1986.
6. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, 1999.
7. N. Francez and I. Forman. Interacting Processes. Addison-Wesley, 1996.
8. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1984.
9. H.-M. Järvinen, R. Kurki-Suonio, M. Sakkinen, and K. Systä. Object-oriented specification of reactive systems. In Proceedings ICSE'90, pages 63-71. IEEE Press, 1990. http://disco.cs.tut.fi.
10. S. Katz. A superimposition control construct for distributed systems. ACM Trans. on Programming Languages and Systems, 15(2):337-356, Apr 1993.
11. S. Katz and J. Gil. Aspects and superimpositions. In ECOOP'99 Workshop Reader, LNCS 1743, pages 308-309, Jun 1999. http://trese.cs.utwents.n1/aop-ecoop99/papers/katz.pdf.
12. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersteh, J. Palm, and W. G. Griswold. An overview of Aspect J. In Proceedings ECOOP 2001, LNCS 2072, pages 327-353, Jun 2001. http://aspectj.org.
13. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proceedings ECOOP'97, LNCS 1241, pages 220-242, Jun 1997.
14. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems - Specification. Springer-Verlag, 1992.