CINECA IRIS Institutional Research Information System

Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi

PADOVANI, Luca;CHEN, Tzu Chun;
2015-01-01
2015
International Conference on Coordination Models and Languages
Grenoble, France
2-5 June 2015
Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'15)
Springer
9037
83
98
https://hal.archives-ouvertes.fr/hal-01105202/document
Padovani, Luca; Chen, Tzu Chun; Tosatto, Andrea
04A-Conference paper in volume
File in questo prodotto:
File Dimensione Formato  
PadovaniChenTosatto15.pdf

Open Access dal 02/06/2016

Tipo di file: PREPRINT (PRIMA BOZZA)
Dimensione 227.82 kB
Formato Adobe PDF
Visualizza/Apri
227.82 kB Adobe PDF Visualizza/Apri
2015 - COORDINATION - Padovani Chen Tosatto.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 300.32 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
300.32 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/1527993
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 2
social impact