"Session types for communicating systems in event-B."

Carlos Olarte, Camilo Rueda (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics