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
Times are displayed in time zone: Beirut change

11:00 - 12:30: Session 1AGERE at Room 3A
11:00 - 11:30
Talk
Modal Assertions for Actor Correctness
AGERE
Colin GordonDrexel University
DOI Pre-print
11:30 - 12:00
Talk
Static Local Coordination Avoidance for Distributed Objects
AGERE
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
12:00 - 12:30
Talk
Locations and Session Types in a Language with Higher-Order Reflection
AGERE
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