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

Samson Abramsky 1 Michael W. Mislove 2 Catuscia Palamidessi 3
3 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Samson Abramsky and Michael W. Mislove and Catuscia Palamidessi. Elsevier B.V., pp.125, 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00778536
Contributeur : Catuscia Palamidessi <>
Soumis le : lundi 21 janvier 2013 - 00:35:21
Dernière modification le : jeudi 12 avril 2018 - 01:48:38

Identifiants

  • HAL Id : hal-00778536, version 1

Collections

Citation

Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi. 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〉

Partager

Métriques

Consultations de la notice

205