CINECA IRIS Institutional Research Information System

On a Higher-Order Calculus of Computational Fields

Audrito G.;Damiani F.;
2019-01-01
2019
Inglese
contributo
1 - Conferenza
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
Internazionale
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Esperti anonimi
Springer Verlag
Cham
SVIZZERA
11535
289
292
4
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
978-3-030-21758-7
978-3-030-21759-4
WOS:000850975700017
2-s2.0-85067348500
https://www.springer.com/series/558
Computational adequacy; Core calculus; Denotational semantics; Distributed computing; Operational semantics; Type system
sì
STATI UNITI D'AMERICA
1 – prodotto con file in versione Open Access (allegherò il file al passo 6 - Carica)
5
info:eu-repo/semantics/conferenceObject
04-CONTRIBUTO IN ATTI DI CONVEGNO::04A-Conference paper in volume
Audrito G.; Viroli M.; Damiani F.; Pianini D.; Beal J.
273
partially_open
04A-Conference paper in volume
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
  Visualizza/Apri   Richiedi una copia
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
Visualizza/Apri
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 1
  • ???jsp.display-item.citation.isi??? 0
social impact