65 citations · 340 across the 42 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.PL2013
Proceedings 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Nobuko Yoshida, Wim Vanderbauwhede
PLACES 2013 (full title: Programming Language Approaches to Concurrency- and Communication-cEntric Software) was the sixth edition of the PLACES workshop series. After the first PL…
cs.FL2013★ 9 cited
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
Pierre-Malo Deniélou, Nobuko Yoshida
Multiparty session types are a type system that can ensure the safety and liveness of distributed peers via the global specification of their interactions. To construct a global sp…