A Universal Session Type for Untyped Asynchronous Communication.

Stephanie Balzer Frank Pfenning Bernardo Toninho

Published in: CONCUR (2018)

Keyphrases

asynchronous communication
synchronous communication
service composition
web pages
ws bpel
reinforcement learning