Synchronization expressed in types of communication channels

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1123, Issue , 1996, Pages 762-769

  Puntigam, Franz ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); SYNCHRONIZATION;

CONCURRENT OBJECTS; STATIC TYPE CHECKING; STATIC TYPING; SUBTYPINGS; SYNCHRONIZATION CONSTRAINTS;

OBJECT ORIENTED PROGRAMMING;

EID: 21444438187     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61626-8_99     Document Type: Conference Paper

References (16)

1. J. C. M. Baeten and W. P. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press, 1990.
2. Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. ACM Computing Surveys 17 (1985) 471-522.
3. Simon J. Gay. A sort inference algorithm for the polyadic π-calculus. In Proceedings POPL '93, January 1993.
4. Kenneth M. Kahn and Vijay A. Saraswat. Actors as a special case of concurrent constraint programming. ACM SIGPLAN Notices 25:10 (October 1990) 57-65. Proceedings OOPSLA/ECOOP'90.
5. Naoki Kobayashi and Akinori Yonezawa. Type-theoretic foundations for concurrent object-oriented programming. ACM SIGPLAN Notices 29:10 (October 1994) 31-45. Proceedings OOPSLA'94.
6. Barbara Liskov and Jeannette M. Wing. Specifications and their use in defining subtypes. ACM SIGPLAN Notices 28:10 (October 1993) 16-28. Proceedings OOPSLA'93.
7. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes (parts I and II). Information and Computation 100 (1992) 1-77.
8. Flemming Nielson and Hanne Riis Nielson. From CML to process algebras. In Proceedings CONCUR'93, LNCS 715, Springer-Verlag, 1993, 493-508.
9. Oscar Nierstrasz. Regular types for active objects. ACM SIGPLAN Notices 28:10 (October 1993) 1-15. Proceedings OOPSLA'93.
10. Benjamin Pierce and Davide Sangiorgi. Typing and subtyping for mobile processes. In Proceedings LICS'93, 1993.
11. Franz Puntigam. Flexible types for a concurrent model. In Proceedings of the Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy, June 1995.
12. Franz Puntigam. Type specifications with processes. In Proceedings FORTE'95, IFIP, October 1995.
13. Franz Puntigam. Types for active objects based on trace semantics. In Proceedings of the IFIP Workshop on Formal Methods for Open Object-based Distributed Systems, Paris, France, March 1996.
14. Ehud Shapiro. The family of concurrent logic programming languages. A CM Computing Surveys 21 (1989) 412-510.
15. Vasco T. Vasconcelos. Typed concurrent objects. In Proceedings ECOOP'94, LNCS 821, Springer-Verlag, 1994, 100-117.
16. Peter Wegner and Stanley B. Zdonik. Inheritance as an incremental modification mechanism or what like is and isn't like. In S. Gjessing and K. Nygaard (eds.), Proceedings ECOOP'88, LNCS 322, Springer-Verlag, 1988, 55-77.