Declarative interpretations of session-based concurrency
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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.
Originalsprog | Engelsk |
---|---|
Titel | Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015 |
Antal sider | 12 |
Forlag | Association for Computing Machinery, Inc. |
Publikationsdato | 14 jul. 2015 |
Sider | 67-78 |
ISBN (Elektronisk) | 9781450335164 |
DOI | |
Status | Udgivet - 14 jul. 2015 |
Eksternt udgivet | Ja |
Begivenhed | 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015 - Siena, Italien Varighed: 14 jul. 2015 → 16 jul. 2015 |
Konference
Konference | 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015 |
---|---|
Land | Italien |
By | Siena |
Periode | 14/07/2015 → 16/07/2015 |
ID: 235144308