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