Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Tue 22 Oct 2019 12:00 - 12:30 at Room 3A - Session 1

We propose the localised ρ-calculus, a process calculus that uses an identification of processes and names in higher-order communication along with a notion of locations. These are named, bounded areas for computation, organised in a hier- archy, and processes can move from one to another by cross- ing their boundaries. Process migration becomes higher- order communication. To control the usage of channels we develop a type system with binary session types for the loc- alised ρ-calculus, based on work by Giunti and Vasconcelos, and prove that it is sound.

Tue 22 Oct

agere
11:00 - 12:30: AGERE 2019 - Session 1 at Room 3A
agere11:00 - 11:30
Talk
Colin GordonDrexel University
DOI Pre-print
agere11:30 - 12:00
Talk
Tim SoethoutING Bank and Centrum Wiskunde & Informatica (CWI), The Netherlands, Tijs van der StormCWI & University of Groningen, Netherlands, Jurgen VinjuCWI, Netherlands
DOI Pre-print Media Attached
agere12:00 - 12:30
Talk
Michael TranDepartment of Computer Science, Aalborg University, Denmark, Alexander Rønning BendixenDepartment of Computer Science, Aalborg University, Denmark, Bjarke Bredow BojesenDepartment of Computer Science, Aalborg University, Denmark, Hans HüttelDepartment of Computer Science, Aalborg University, Stian Lasse LybechDepartment of Computer Science, Aalborg University, Denmark