Patrick Sallé
According to our database1,
Patrick Sallé
authored at least 16 papers
between 1979 and 2000.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2000
Typing Concurrent Objects and Actors.
Obj. Logiciel Base données Réseaux, 2000
1999
Proceedings of the High-Performance Computing and Networking, 7th International Conference, 1999
Static safety analysis for non-uniform service availability in Actors.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999
1998
Parallel Distributed Comput. Pract., 1998
1995
Vers une machine virtuelle pour l'évaluation des langages d'acteurs.
Proceedings of the Actes des journées Langages et Modèles à Objets, 1995
1988
Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988
1986
Un langage logique orienté objet.
Proceedings of the SPLT'86, 1986
1984
L'inclusion de filtres: une approche de la création d'environnements symboliquesen Plasma.
Proceedings of the International Symposium on Programming, 1984
Une autre interprétation top down des clauses de Horn: interface avec une base de données.
Proceedings of the SPLT'84, 1984
1983
Acteurs et programmation en logique: ALOG.
Proceedings of the SPLT'83, 1983
1980
RAIRO Theor. Informatics Appl., 1980
RAIRO Theor. Informatics Appl., 1980
Proceedings of the International Symposium on Programming, 1980
1979
RAIRO Theor. Informatics Appl., 1979
Proceedings of the Automata, 1979