Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIPWG6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014

Erika Ábrahám 1 Catuscia Palamidessi 2
2 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
Abstract : Book Front Matter of LNCS 8461
Type de document :
Ouvrage (y compris édition critique et traduction)
Springer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. 〈10.1007/978-3-662-43613-4〉
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01398026
Contributeur : Hal Ifip <>
Soumis le : mercredi 16 novembre 2016 - 15:43:00
Dernière modification le : jeudi 10 mai 2018 - 02:06:33

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Erika Ábrahám, Catuscia Palamidessi. Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIPWG6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Springer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. 〈10.1007/978-3-662-43613-4〉. 〈hal-01398026〉

Partager

Métriques

Consultations de la notice

525

Téléchargements de fichiers

87