The following pages link to Nobuko Yoshida (Q236085):
Displaying 50 items.
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- Reversible session-based pi-calculus (Q492908) (← links)
- Monitoring networks through multiparty session types (Q517050) (← links)
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (Q888409) (← links)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- Linearity and bisimulation (Q997996) (← links)
- Objects and session types (Q1021571) (← links)
- On reduction-based process semantics (Q1350347) (← links)
- Multiparty session types, beyond duality (Q1647963) (← links)
- Depending on session-typed processes (Q1652972) (← links)
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
- Assigning types to processes (Q1854525) (← links)
- Game-theoretic analysis of call-by-value computation (Q1960532) (← links)
- Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday (Q2026790) (← links)
- Towards a formal account for software transactional memory (Q2039909) (← links)
- Causal computational complexity of distributed processes (Q2112798) (← links)
- Communicating finite state machines and an extensible toolchain for multiparty session types (Q2140476) (← links)
- A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← links)
- Characteristic formulae for session types (Q2272938) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- Causality in linear logic. Full completeness and injectivity (unit-free multiplicative-additive fragment) (Q2289069) (← links)
- On polymorphic sessions and functions. A tale of two (fully abstract) encodings (Q2324009) (← links)
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- Characteristic bisimulation for higher-order session processes (Q2357655) (← links)
- Certifying data in multiparty session types (Q2360653) (← links)
- Towards a categorical representation of reversible event structures (Q2423742) (← links)
- Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
- Formalising Java RMI with explicit code mobility (Q2463558) (← links)
- Genericity and the \(\pi\)-calculus (Q2576663) (← links)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- (Q2778815) (← links)
- Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion (Q2790164) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- Multiparty Session Nets (Q2811929) (← links)
- From Communicating Machines to Graphical Choreographies (Q2819808) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- Effects as sessions, sessions as effects (Q2828297) (← links)
- Compositional Choreographies (Q2842124) (← links)
- (Q2851333) (← links)
- A Calculus of Global Interaction based on Session Types (Q2864218) (← links)
- Theoretical Aspects of Communication-Centred Programming (Q2870194) (← links)
- Probabilistic π-Calculus and Event Structures (Q2870289) (← links)
- Multiparty Session Types Meet Communicating Automata (Q2892728) (← links)
- Event Structure Semantics of Parallel Extrusion in the Pi-Calculus (Q2892773) (← links)
- (Q2908863) (← links)
- Intensional and Extensional Characterisation of Global Progress in the π-Calculus (Q2914376) (← links)
- A logical analysis of aliasing in imperative higher-order functions (Q2936791) (← links)
- (Q2980982) (← links)
