Preface to Programming Languages and Systems по Yoshida, N

Другие авторы: “...Yoshida, N...”

Introduction to the Special Issue on ESOP 2021 по Yoshida, N

Programming language implementations with multiparty session types по Yoshida, N

Three subtyping algorithms for binary session types and their complexity analyses по Udomsrirungruang, T, Yoshida, N

Top-down or bottom-up? complexity analyses of synchronous multiparty session types по Yoshida, N, Udomsrirungruang, T

Completeness of asynchronous session tree subtyping in Coq по Yoshida, N, Ekici, B

Mixed choice in session types по Peters, K, Yoshida, N

On polymorphic sessions and functions: a tale of two (fully abstract) encodings по Toninho, B, Yoshida, N

Separation and encodability in mixed choice multiparty sessions по Peters, K, Yoshida, N

Less is more revisited: association with global multiparty session types по Yoshida, N, Hou, P

Protocol conformance of collaborative SPARQL using multiparty session types по Hernawan, A, Yoshida, N

Causal computational complexity of distributed processes по Demangeon, R, Yoshida, N

On the expressiveness of mixed choice sessions по Peters, K, Yoshida, N

Refinements for multiparty message-passing protocols: specification-agnostic theory and implementation по Vassor, M, Yoshida, N

Hybrid multiparty session types: compositionality for protocol specification through endpoint projection по Gheri, L, Yoshida, N

Dynamically updatable multiparty session protocols: generating concurrent go code from unbounded protocols по Castro-Perez, D, Yoshida, N

Event structure semantics of (controlled) reversible CCS по Graversen, E, Phillips, I, Yoshida, N

Fearless asynchronous communications with timed multiparty session protocols по Hou, P, Lagaillardie, N, Yoshida, N

Interviews with the 2021 CONCUR Test-of-Time Award recipients по Aceto, L, Bertrand, N, Yoshida, N

Stay safe under panic: affine rust programming with multiparty session types по Lagaillardie, N, Neykova, R, Yoshida, N