Relating Session Types and Behavioural Contracts: The Asynchronous Case

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Mario Bravetti, Gianluigi Zavattaro

Journal title: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Journal number: 11724

Journal publisher: Springer International Publishing

Published year: 2019

Published pages: 29-47

DOI identifier: 10.1007/978-3-030-30446-1_2

ISBN: 978-3-030-30445-4