Dynamic type information in process types

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

Volumn 1470 LNCS, Issue , 1998, Pages 720-728

  Puntigam, Franz ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

CONVENTIONAL APPROACH; DYNAMIC TYPE; HETEROGENEOUS COLLECTIONS; IN-PROCESS; SELF-REFERENCES; STATIC CHECKING; TYPE CAST;

ARTIFICIAL INTELLIGENCE;

EID: 0342486416     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0057921     Document Type: Conference Paper

References (14)

1. J.-L. Colaco, M. Pantel, and P. Sall'e. A set-constraint-based analysis of actors. In Proceedings FMOODS '97, Canterbury, United Kingdom, July 1997. Chapman & Hall.
2. Simon J. Gay. A sort inference algorithm for the polyadic π-caleulus. In Conference Record of the 20th Symposium on Principles of Programming Languages, January 1993.
3. Robin Milner. The polyadic π-calculus: A tutorial. Technical Report ECS-LFCS-91-180, Dept. of Comp. Sci., Edinburgh University, 1991.
4. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes (parts I and II). Information and Computation, 100:1-77, 1992.
5. Oscar Nierstrasz. Regular types for active objects. ACM SIGPLAN Notices, 28(10):1-15, October 1993. Proceedings OOPSLA'93.
6. Flemming Nielson and Hanne Riis Nielson. From CML to process algebras. In Proceedings CONCUR '93, number 715 in Lecture Notes in Computer Science, pages 493-508. Springer-Verlag, 1993.
7. E. Najm and A. Nimour. A calculus of object bindings. In Proceedings FMOODS '97, Canterbury, United Kingdom, July 1997.
8. Benjamin Pierce and Davide Sangiorgi. Typing and subtyping for mobile processes. In Proceedings LICS'93, 1993.
9. Franz Puntigam. Flexible types for a concurrent model. In Proceedings of the Workshop on Object-Oriented Programming and Models of Concurrency, Torino, June 1995.
10. Franz Puntigam. Types for active objects based on trace semantics. In Elie Najm et al., editor, Proceedings FMOODS '96, Paris, France, March 1996. IFIP WG 6.1, Chapman & Hall.
11. Franz Puntigam. Coordination requirements expressed in types for active objects. In Mehmet Aksit and Satoshi Matsuoka, editors, Proceedings EUOOP '97, number 1241 in Lecture Notes in Computer Science, Jyväskylä Finland, June 1997. Springer- Verlag.
12. António Ravara and Vasco T. Vasconcelos. Behavioural types for a calculus of concurrent objects. In Proceedings Euro-Par '97, Lecture Notes in Computer Science. Springer-Verlag, 1997.
13. Vasco T. Vasconcelos. Typed concurrent objects. In Proceedings ECOOP'94, number 821 in Lecture Notes in Computer Science, pages 100-117. Springer-Verlag, 1994.
14. Vasco T. Vasconcelos and Kohei Honda. Principal typing schemes in a polyadic pi-calculus. In Proceedings CONCUR'93, July 1993.