Declarative interpretations of session-based concurrency

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Session-based concurrency is a type-based approach to the analysis of communication-intensive systems. Correct behavior in these systems may be specified in an operational or declarative style: the former defines how interactions are structured; the latter defines governing conditions. In this paper, we investigate the relationship between operational and declarative models of session-based concurrency. We propose two interpretations of session π-calculus processes as declarative processes in linear concurrent constraint programming (lcc). They offer a basis on which both operational and declarative requirements can be specified and reasoned about. By coupling our interpretations with a type system for lcc, we obtain robust declarative encodings of π-calculus mobility.

OriginalsprogEngelsk
TitelProceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015
Antal sider12
ForlagAssociation for Computing Machinery, Inc.
Publikationsdato14 jul. 2015
Sider67-78
ISBN (Elektronisk)9781450335164
DOI
StatusUdgivet - 14 jul. 2015
Begivenhed17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015 - Siena, Italien
Varighed: 14 jul. 201516 jul. 2015

Konference

Konference17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015
LandItalien
BySiena
Periode14/07/201516/07/2015
NavnProceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015

ID: 235144308