Asynchronous Sessions with Implicit Functions and Messages.

Alexander Jeffery, Martin Berger

Browse the full TASE paper archive.