Nobuko Yoshida

TL;DR: In this article, the authors introduce basic language constructs and a type discipline as a foundation of structured communication-based concurrent programming, which allow programmers to organize programs as a combination of multiple flows of (possibly unbounded) reciprocal interactions in a simple and elegant way, subsuming the preceding communication primitives such as method invocation and rendez-vous.

TL;DR: This work extends the foregoing theories of binary session types to multiparty, asynchronous sessions, which often arise in practical communication-centred applications, and introduces a new notion of types in which interactions involving multiple peers are directly abstracted as a global scenario.

TL;DR: The theory introduces a new notion of types in which interactions involving multiple peers are directly abstracted as a global scenario, and the fundamental properties of the session type discipline, such as communication safety, progress, and session fidelity, are established.

TL;DR: Hybrid cells secreting antibodies against sporozoites of Plasmodium berghei were obtained by fusion of plasmacytoma cells with immune murine spleen cells with monoclonal antibodies bound to a protein with an apparent molecular weight of 44,000 (Pb44), which envelopes the surface membrane of sporozoite.

TL;DR: It is concluded that the CSP reaction can result from the cross-linking of Pb44 and that it has the characteristics of a capping reaction followed by the shedding of the immune complexes.