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

Cinzia Di Giusto, Jorge A. Pérez

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationTheoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings.
Pages107-112
Number of pages6
Publication statusPublished - 2009
EventTheoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009 - Cremona, Italy
Duration: 28-Sep-200930-Sep-2009

Conference

ConferenceTheoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009
Country/TerritoryItaly
CityCremona
Period28/09/200930/09/2009

Cite this