On a Higher-Order Calculus of Computational Fields

Audrito G.;Damiani F.;
2019-01-01

2019
39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019
dnk
2019
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Springer Verlag
11535
289
292
978-3-030-21758-7
978-3-030-21759-4
https://www.springer.com/series/558
Computational adequacy; Core calculus; Denotational semantics; Distributed computing; Operational semantics; Type system
Audrito G.; Viroli M.; Damiani F.; Pianini D.; Beal J.
File in questo prodotto:
File Dimensione Formato  
LNCS-Forte-2019-Audrito-et-al-JOURNAL-FIRST.pdf

Accesso riservato

Descrizione: Articolo principale (conferenza, journal first paper)
Tipo di file: PDF EDITORIALE
Dimensione 200.23 kB
Formato Adobe PDF
200.23 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
main.pdf

Accesso aperto

Descrizione: Articolo principale (conferenza, journal first paper)
Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 172.82 kB
Formato Adobe PDF
172.82 kB Adobe PDF Visualizza/Apri

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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1711782
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact