Special issue dedicated to a selection of papers from Mathematical Foundations of Programming Semantics (MFPS XXV). Theoretical Computer Science 430 (1-2) - Inria - Institut national de recherche en sciences et technologies du numérique
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2012

Special issue dedicated to a selection of papers from Mathematical Foundations of Programming Semantics (MFPS XXV). Theoretical Computer Science 430 (1-2)

Samson Abramsky
  • Fonction : Directeur scientifique
Computing Science Laboratory - Oxford University
Michael W. Mislove
  • Fonction : Directeur scientifique
Department of Mathematics [Tulane, New Orleans]
Catuscia Palamidessi
  • Fonction : Directeur scientifique
  • PersonId : 845654
Concurrency, Mobility and Transactions

Domaines

Logique en informatique [cs.LO]

Catuscia Palamidessi  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00778536

Soumis le : lundi 21 janvier 2013-00:35:21

Dernière modification le : jeudi 1 août 2024-17:08:02

Fichier non déposé

Dates et versions

hal-00778536 , version 1 (21-01-2013)

Identifiants

  • HAL Id : hal-00778536 , version 1

Citer

Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi (Dir.). Special issue dedicated to a selection of papers from Mathematical Foundations of Programming Semantics (MFPS XXV). Theoretical Computer Science 430 (1-2). Samson Abramsky and Michael W. Mislove and Catuscia Palamidessi. Elsevier B.V., pp.125, 2012. ⟨hal-00778536⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2
164 Consultations
0 Téléchargements

Partager

More