Static Safety Analysis for Non-Uniform Service Availability in Actors-Reference-Cited by-同舟云学术

Static Safety Analysis for Non-Uniform Service Availability in Actors

Published:1999 Issue: Volume: Page:371-386
ISSN:
Container-title:Formal Methods for Open Object-Based Distributed Systems
language:
Short-container-title:

Author:

Colaco Jean-Louis,Pantel Marc,Dagnat Fabien,Sallé Patrick

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35562-7_29

Reference25 articles.

1. M. Abadi and L. Cardelli. A theory of primitive objects: untyped and first-order systems. In Proc. Theor. Aspects of Computer Software, 1994.

2. A. Aiken, E. Wimmers, and T. Lakshman. Soft typing with conditional types. In Proc. of the 21st. ACM Symp. on PoPL, January 1994.

3. J-L. Colaço. Analyses statiques par typage de langages d’Acteurs. PhD thesis, Institut National Polytechnique de Toulouse, October 1997.

4. J-L. Colaço, M. Pantel, and P. Sallé. CAP: An actor dedicated process calculus. In ECOOP’96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, May 1996.

5. J-L. Colaço, M. Pantel, and P. Sallé. Analyse de linéarité par typage dans un calcul d’acteurs. In Actes des Journées Francophones des Langages Applicatifs, January 1997.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Algebra of Behavioural Types;Information and Computation;2012-03

2. Temporal Logic Based Static Analysis for Non-uniform Behaviours;Lecture Notes in Computer Science;2003

3. A Theory of May Testing for Actors;Formal Methods for Open Object-Based Distributed Systems V;2002

4. Semantics of Objects As Processes (SOAP);Object-Oriented Technology ECOOP’99 Workshop Reader;1999