20 citations · 38 across the 3 of their papers we have counts for
3 papers
cs.PL2011★ 1 cited
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software
Kohei Honda, Alan Mycroft
This is the proceedings of PLACES'10, the 3rd Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, held in Pathos, Cyprus, on 21st Mach, 2…
cs.DC2010★ 20 cited
Multiparty Symmetric Sum Types
Lasse Nielsen, Nobuko Yoshida, Kohei Honda
This paper introduces a new theory of multiparty session types based on symmetric sum types, by which we can type non-deterministic orchestration choice behaviours. While the origi…
cs.LO2008★ 17 cited
Logical Reasoning for Higher-Order Functions with Local State
Nobuko Yoshida, Kohei Honda, Martin Berger
We introduce an extension of Hoare logic for call-by-value higher-order functions with ML-like local reference generation. Local references may be generated dynamically and exporte…