Safe Session-Based Concurrency with Shared Linear State.

Pedro Rocha, Lus Caires

Browse the full ESOP paper archive.