Yoshida, Nobuko - Department of Computing, Imperial College, London

• Addendum to a Uniform Type Structure for Secure Information Flow (Subject Reduction with In ation)
• Dynamic Channel Screening in the Higher Order -Calculus
• Assigning Types to Processes NOBUKO YOSHIDA and MATTHEW HENNESSY
• Notes on Linear Typing for Free Output Kohei Honda ?
• Sequentiality and the -Calculus ? Martin Berger y Kohei Honda y Nobuko Yoshida z
• Multiparty Asynchronous Session Types Kohei Honda1
• JFP 17 (4 & 5): 473546, 2007. c 2007 Cambridge University Press doi:10.1017/S0956796807006417 Printed in the United Kingdom
• GRAPH TYPES FOR MONADIC MOBILE PROCESSES NOBUKO YOSHIDA
• Program Logic and Program Analysis Kohei Honda 1 , Nobuko Yoshida 2 , and Martin Berger 1
• Assigning Types to Processes (Extended Abstract)
• A Distributed ObjectOriented Language with Session Types ?
• Multiparty Asynchronous Session Types Kohei Honda
• Minimality and Separation Results on Asynchronous Mobile Processes
• Subtyping and Locality in Distributed Higher Order Processes + (extended abstract)
• Channel Dependent Types for HigherOrder Mobile Processes NOBUKO YOSHIDA
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Minimality and Separation Results on Asynchronous Mobile Processes
• A Theoretical Basis of Communication-Centred Concurrent
• Control in the #Calculus Kohei Honda (kohei@dcs.qmul.ac.uk)
• Type-Based Liveness Guarantee in the Presence of Nontermination and Nondeterminism
• GAME THEORETIC ANALYSIS OF CALLBYVALUE COMPUTATION
• Control in the pCalculus [Extended Abstract]
• Under consideration for publication in Formal Aspects of Computing safeDpi: a language for controlling
• ON REDUCTIONBASED PROCESS SEMANTICS KOHEI HONDA NOBUKO YOSHIDA
• Session Types for Object-Oriented Languages Dedicated to Giuseppe Longo at the occasion of his 60th birthday
• Channel Dependent Types for HigherOrder Mobile Processes
• Typed Event Structures and the -Calculus Daniele Varacca, Nobuko Yoshida
• An Observationally Complete Program Logic for Imperative HigherOrder Functions #
• Notes on the linear -calculus and LLP Kohei Honda ?
• Structured Global Programming for Communication Behaviour Marco Carbone1,2
• A Logical Analysis of Aliasing in Imperative HigherOrder Functions
• Proofs for ``a uniform type structure for secure information flow'' Kohei Honda Nobuko Yoshida
• Secure Information Flow as Typed Process Behaviour Kohei Honda 1 Vasco Vasconcelos 2
• Channel Dependent Types for HigherOrder Mobile Processes
• Typed Event Structures and the -Calculus Extended Abstract
• Multiparty Session Types Examples 1 Preamble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
• Logical Reasoning for Higher-Order Functions with Local State
• Algorithms and Complexity Analysis for Linearity, Projection and Coherence
• GRAPH NOTATION FOR CONCURRENT COMBINATORS NOBUKO YOSHIDA
• Descriptive and Relative Completeness of Logics for Higher-Order Functions
• Global Progress in Dynamically Merged Multiparty Sessions