Safe Session-Based Concurrency with Shared Linear State

Pedro Rocha; Luís Caires

doi:10.1007/978-3-031-30044-8_16

Safe Session-Based Concurrency with Shared Linear State

Pedro Rocha, Luís Caires

NOVALincs

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

8 Citations (Scopus)

49 Downloads (Pure)

Abstract

We introduce CLASS, a session-typed, higher-order, core language that supports concurrent computation with shared linear state.

Original language	English
Title of host publication	Programming Languages and Systems
Subtitle of host publication	32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
Editors	Thomas Wies
Place of Publication	Cham
Publisher	Springer
Pages	421-450
Number of pages	30
ISBN (Electronic)	978-3-031-30044-8
ISBN (Print)	978-3-031-30043-1
DOIs	https://doi.org/10.1007/978-3-031-30044-8_16
Publication status	Published - 2023
Event	32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 - Paris, France Duration: 22 Apr 2023 → 27 Apr 2023

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	13990
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023
Country/Territory	France
City	Paris
Period	22/04/23 → 27/04/23

Access to Document

10.1007/978-3-031-30044-8_16Licence: CC BY

Safe Session-Based ConcurrencyFinal published version, 752 KBLicence: CC BY

Cite this

Rocha, P., & Caires, L. (2023). Safe Session-Based Concurrency with Shared Linear State. In T. Wies (Ed.), Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings (pp. 421-450). (Lecture Notes in Computer Science; Vol. 13990). Springer. https://doi.org/10.1007/978-3-031-30044-8_16

Rocha, Pedro ; Caires, Luís. / Safe Session-Based Concurrency with Shared Linear State. Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. editor / Thomas Wies. Cham : Springer, 2023. pp. 421-450 (Lecture Notes in Computer Science).

@inproceedings{ce95ac47643847b9ab9dc42a4feeacf8,

title = "Safe Session-Based Concurrency with Shared Linear State",

abstract = "We introduce CLASS, a session-typed, higher-order, core language that supports concurrent computation with shared linear state.",

author = "Pedro Rocha and Lu{\'i}s Caires",

note = "Publisher Copyright: {\textcopyright} 2023, The Author(s).; 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 ; Conference date: 22-04-2023 Through 27-04-2023",

year = "2023",

doi = "10.1007/978-3-031-30044-8_16",

language = "English",

isbn = "978-3-031-30043-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "421--450",

editor = "Thomas Wies",

booktitle = "Programming Languages and Systems",

address = "Netherlands",

}

Rocha, P & Caires, L 2023, Safe Session-Based Concurrency with Shared Linear State. in T Wies (ed.), Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Lecture Notes in Computer Science, vol. 13990, Springer, Cham, pp. 421-450, 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, 22/04/23. https://doi.org/10.1007/978-3-031-30044-8_16

Safe Session-Based Concurrency with Shared Linear State. / Rocha, Pedro ; Caires, Luís.
Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. ed. / Thomas Wies. Cham: Springer, 2023. p. 421-450 (Lecture Notes in Computer Science; Vol. 13990).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Safe Session-Based Concurrency with Shared Linear State

AU - Rocha, Pedro

AU - Caires, Luís

PY - 2023

Y1 - 2023

N2 - We introduce CLASS, a session-typed, higher-order, core language that supports concurrent computation with shared linear state.

AB - We introduce CLASS, a session-typed, higher-order, core language that supports concurrent computation with shared linear state.

UR - http://www.scopus.com/inward/record.url?scp=85161382922&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-30044-8_16

DO - 10.1007/978-3-031-30044-8_16

M3 - Conference contribution

AN - SCOPUS:85161382922

SN - 978-3-031-30043-1

T3 - Lecture Notes in Computer Science

SP - 421

EP - 450

BT - Programming Languages and Systems

A2 - Wies, Thomas

PB - Springer

CY - Cham

T2 - 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023

Y2 - 22 April 2023 through 27 April 2023

ER -

Rocha P , Caires L. Safe Session-Based Concurrency with Shared Linear State. In Wies T, editor, Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Cham: Springer. 2023. p. 421-450. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-30044-8_16

Safe Session-Based Concurrency with Shared Linear State

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this