Special Issue on Proof Theory of Concurrent Object-Oriented Programming - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 1999

Special Issue on Proof Theory of Concurrent Object-Oriented Programming

Didier Galmiche
  • Fonction : Directeur scientifique
  • PersonId : 746081
  • IdHAL : didier-galmiche
Jean-Paul Bahsoun
  • Fonction : Directeur scientifique
  • PersonId : 1095391
  • IdRef : 033471428
José Luiz Fiadeiro
  • Fonction : Directeur scientifique

Résumé

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.
Fichier non déposé

Dates et versions

inria-00098994 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00098994 , version 1

Citer

Didier Galmiche, Jean-Paul Bahsoun, José Luiz Fiadeiro (Dir.). Special Issue on Proof Theory of Concurrent Object-Oriented Programming. Cambridge University Press, 1999, Mathematical Structures in Computer Science. ⟨inria-00098994⟩
134 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More