Safe Session-Based Concurrency with Shared Linear State

Pedro Rocha, Luís Caires

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

8 Citations (Scopus)
51 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Safe Session-Based Concurrency with Shared Linear State'. Together they form a unique fingerprint.

Mathematics