Safe Session-Based Concurrency with Shared Linear State

von Rocha, Pedro
Veröffentlicht in ESOP (32. : 2023 : Paris) Programming languages and systems (2023)

Automata, languages and programming : 32nd international colloquium ; proceedings

Veröffentlicht 2005

CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings

Veröffentlicht 2007

Programming languages and systems : 28th European symposium on programming, ESOP 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Veröffentlicht 2019

Automata, languages and programming : 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11 - 15, 2005 ; proceedings

Veröffentlicht 2005

Formal techniques for distributed objects, components, and systems : 38th IFIP WG 6.1 International Conference, FORTE 2018 : held as part of the 13th International Federated Conf...

Veröffentlicht 2018