Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics

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, Polytechnique - X, 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. 249, Elsevier, pp.1-490, 2009, Electronic Notes in Theoretical Computer Science
Liste complète des métadonnées

https://hal.inria.fr/hal-00772697
Contributeur : Catuscia Palamidessi <>
Soumis le : vendredi 11 janvier 2013 - 03:00:50
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14

Identifiants

  • HAL Id : hal-00772697, version 1

Collections

Citation

Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi. Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics. Samson Abramsky and Michael W. Mislove and Catuscia Palamidessi. 249, Elsevier, pp.1-490, 2009, Electronic Notes in Theoretical Computer Science. 〈hal-00772697〉

Partager

Métriques

Consultations de la notice

165