On the Expressiveness of Polyadicity in Higher-Order Process Calculi

Ivan Lanese; Jorge A. Pérez; Davide Sangiorgi; Alan Schmitt

On the Expressiveness of Polyadicity in Higher-Order Process Calculi

Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt

Fundamental Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings.
Pages	143-149
Number of pages	7
Publication status	Published - 2009
Event	Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009 - Cremona, Italy Duration: 28-Sept-2009 → 30-Sept-2009

Conference

Conference	Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009
Country/Territory	Italy
City	Cremona
Period	28/09/2009 → 30/09/2009

Handle.net

Persistent link

Cite this

@inproceedings{3c00b640f4034b40b978630c8247d67d,

title = "On the Expressiveness of Polyadicity in Higher-Order Process Calculi",

author = "Ivan Lanese and P{\'e}rez, {Jorge A.} and Davide Sangiorgi and Alan Schmitt",

year = "2009",

language = "English",

pages = "143--149",

booktitle = "Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings.",

note = "Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009 ; Conference date: 28-09-2009 Through 30-09-2009",

}

Lanese, I, Pérez, JA, Sangiorgi, D & Schmitt, A 2009, On the Expressiveness of Polyadicity in Higher-Order Process Calculi. in Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings.. pp. 143-149, Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Cremona, Italy, 28/09/2009.

On the Expressiveness of Polyadicity in Higher-Order Process Calculi. / Lanese, Ivan; Pérez, Jorge A.; Sangiorgi, Davide et al.
Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings.. 2009. p. 143-149.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - On the Expressiveness of Polyadicity in Higher-Order Process Calculi

AU - Lanese, Ivan

AU - Pérez, Jorge A.

AU - Sangiorgi, Davide

AU - Schmitt, Alan

PY - 2009

Y1 - 2009

M3 - Conference contribution

SP - 143

EP - 149

BT - Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings.

T2 - Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009

Y2 - 28 September 2009 through 30 September 2009

ER -