Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Spaderna, Janek"'
We propose algebraic protocols that enable the definition of protocol templates and session types analogous to the definition of domain-specific types with algebraic datatypes. Parameterized algebraic protocols subsume all regular as well as most con
Externí odkaz:
http://arxiv.org/abs/2304.03764
