Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi

Cinzia Di Giusto; Jorge A. Pérez

Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi

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	107-112
Number of pages	6
Publication status	Published - 2009
Event	Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009 - Cremona, Italy Duration: 28-Sep-2009 → 30-Sep-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{43b05a5770c143b7a1d6daafdadd06ac,

title = "Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi",

author = "Giusto, {Cinzia Di} and P{\'e}rez, {Jorge A.}",

year = "2009",

language = "English",

pages = "107--112",

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",

}

Giusto, CD & Pérez, JA 2009, Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi. in Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings.. pp. 107-112, Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Cremona, Italy, 28/09/2009.

Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi. / Giusto, Cinzia Di; Pérez, Jorge A.

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

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

TY - GEN

T1 - Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi

AU - Giusto, Cinzia Di

AU - Pérez, Jorge A.

PY - 2009

Y1 - 2009

M3 - Conference contribution

SP - 107

EP - 112

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 -