A formal approach to open multiparty interactions
Bodei, Chiara, Brodo, Linda, Bruni, RobertoVolume:
763
Language:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2019.01.033
Date:
April, 2019
File:
PDF, 823 KB
english, 2019