Special Issue on Proof Theory of Concurrent Object-Oriented Programming

Didier Galmiche 1 Jean-Paul Bahsoun José Luiz Fiadeiro
1 TYPES - Logic, proof Theory and Programming
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The objective of this issue was to provide an integrated forum for the presentation of research and the exchange of ideas and experiences in the topics concerned with proofs, concurrency and object-oriented programming (specification, proof development, etc...). The selected papers address some of these topics focusing on problems such as: to use the actor model as a faithful basis for rigorously designing open distributed systems, to use linear logic for the specification of advanced concepts of concurrent object-oriented programming or to develop techniques for proving behavioral correctness of concurrent based-on objects systems.
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Cambridge University Press, 1999, Mathematical Structures in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00098994
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:41:03
Dernière modification le : jeudi 11 janvier 2018 - 06:20:14

Identifiants

  • HAL Id : inria-00098994, version 1

Collections

Citation

Didier Galmiche, Jean-Paul Bahsoun, José Luiz Fiadeiro. Special Issue on Proof Theory of Concurrent Object-Oriented Programming. Cambridge University Press, 1999, Mathematical Structures in Computer Science. 〈inria-00098994〉

Partager

Métriques

Consultations de la notice

203