On the Relative Expressiveness of Higher-Order Session Processes

File Description SizeFormat 
paper.pdfAccepted version242.37 kBAdobe PDFView/Open
Title: On the Relative Expressiveness of Higher-Order Session Processes
Authors: Kouzapas, D
Perez, J
Yoshida, N
Item Type: Conference Paper
Abstract: © Springer-Verlag Berlin Heidelberg 2016.By integrating constructs from the λ-calculus and the π-calculus, in higher-order process calculi exchanged values may contain processes. This paper studies the relative expressiveness of HOπ, the higher-order π-calculus in which communications are governed by session types. Our main discovery is that HO, a subcalculus of HOπ which lacks name-passing and recursion, can serve as a new core calculus for session-typed higher-order concurrency. By exploring a new bisimulation for HO, we show that HO can encode HOπ fully abstractly (up to typed contextual equivalence) more precisely and efficiently than the first-order session π-calculus (π). Overall, under session types, HOπ, HO, and π are equally expressive; however, HOπ and HO are more tightly related than HOπ and π.
Issue Date: 1-Apr-2016
Date of Acceptance: 18-Dec-2015
URI: http://hdl.handle.net/10044/1/31168
DOI: http://dx.doi.org/10.1007/978-3-662-49498-1_18
ISSN: 0302-9743
Publisher: Springer
Start Page: 446
End Page: 475
Journal / Book Title: Lecture Notes in Computer Science
Volume: 9632
Copyright Statement: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-49498-1_18
Sponsor/Funder: Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (EPSRC)
Commission of the European Communities
Funder's Grant Number: ERI 025567 (EP/K034413/1)
PO 1553380
EP/K011715/1
612985
Conference Name: ESOP 2016
Keywords: Artificial Intelligence & Image Processing
08 Information And Computing Sciences
Publication Status: Published
Start Date: 2016-04-02
Finish Date: 2016-04-08
Conference Place: Eindhoven, The Netherlands
Appears in Collections:Faculty of Engineering
Computing



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commonsx