CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishThis paper surveys some recent works on the study of termination in a concurrent setting. Processes are $pi$-calculus processes, on which type systems are imposed that ensure termination of the process computations. Two approaches are exposed. The first one draws on the method of logical relations, which has been extensively used in the analysis of sequential languages. The second approach exploits notions from term rewriting.
| Titolo: | Mobile Processes and Termination |
| Autore/i: | R. Demangeon; D. Hirschkoff; SANGIORGI, DAVIDE |
| Autore/i Unibo: | |
| Anno: | 2009 |
| Titolo del libro: | Lecture Notes in Computer Science |
| Pagina iniziale: | 250 |
| Pagina finale: | 273 |
| Abstract: | This paper surveys some recent works on the study of termination in a concurrent setting. Processes are $pi$-calculus processes, on which type systems are imposed that ensure termination of the process computations. Two approaches are exposed. The first one draws on the method of logical relations, which has been extensively used in the analysis of sequential languages. The second approach exploits notions from term rewriting. |
| Data prodotto definitivo in UGOV: | 1-feb-2010 |
| Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |
File in questo prodotto:
http://hdl.handle.net/11585/82972
Copyright © 2021