Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-6 of 6
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
1-Apr-2016On the Relative Expressiveness of Higher-Order Session ProcessesKouzapas, D; Perez, J; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al
10-Nov-2014On asynchronous eventful session semanticsKouzapas, D; Yoshida, N; Hu, R; Honda, K
30-Dec-2014Globally governed session semanticsKouzapas, D; Yoshida, N
31-Dec-2015Characteristic bisimulation for higher-order session processesKouzapas, D; Yoshida, N; Perez, J; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al
24-Dec-2016Characteristic bisimulation for higher-order session processesKouzapas, D; Perez, JA; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al
29-Jun-2019On the relative expressiveness of higher-order session processesKouzapas, D; Pérez, JA; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al