Special issue of LMCS devoted on selected contributions from the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14) and the 16th IFIP International Conference on Coordination Models and Languages (COORDINATION'14).

Selected Papers of the Conferences FORTE and COORDINATION 2014 / Abraham, EriKa; Kuehn, Eva; Palamidessi, Catuscia; Pugliese, Rosario; Sassone, Vladimiro. - ELETTRONICO. - (2017), pp. 0-0.

Selected Papers of the Conferences FORTE and COORDINATION 2014

PUGLIESE, ROSARIO;
2017

Abstract

Special issue of LMCS devoted on selected contributions from the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14) and the 16th IFIP International Conference on Coordination Models and Languages (COORDINATION'14).
2017
Logical Methods in Computer Science e.V. ISSN: 1860-5974
Lars Birkedal (Editor-in-Chief)
Logical Methods in Computer Science, volume 279
Abraham, EriKa; Kuehn, Eva; Palamidessi, Catuscia; Pugliese, Rosario; Sassone, Vladimiro
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1094352
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact