Export 4 results:
Type [ Year(Desc)]
Filters: Author is Yoshida, N.  [Clear All Filters]
2012
P. M. Denielou, Yoshida, N., Bejleri, A., and Hu, R., Parameterised Multiparty Session Types, Logical Methods in Computer Science, vol. 8, 2012.
2014
D. Kouzapas and Yoshida, N., Globally Governed Session Semantics, Logical Methods in Computer Science, vol. 10, 2014.