Professor Nobuko Yoshida
- Honorary Senior Research Fellow (School of Computing Science)
The University of Glasgow uses cookies for analytics. Find out more about our Privacy policy.
Necessary cookies enable core functionality. The website cannot function properly without these cookies, and can only be disabled by changing your browser preferences.
Analytical cookies help us improve our website. We use Google Analytics. All data is anonymised.
Clarity helps us to understand our users’ behaviour by visually representing their clicks, taps and scrolling. All data is anonymised.
Peters, K. and Yoshida, N. (2024) Mixed choice in session types. Information and Computation, 298, 105164. (doi: 10.1016/j.ic.2024.105164)
Demangeon, R. and Yoshida, N. (2023) Causal computational complexity of distributed processes. Information and Computation, 290, 104998. (doi: 10.1016/j.ic.2022.104998)
Graversen, E., Phillips, I. and Yoshida, N. (2022) Event structures for the reversible early internal π-calculus. Journal of Logical and Algebraic Methods in Programming, 124, 100720. (doi: 10.1016/j.jlamp.2021.100720)
Graversen, E., Phillips, I. and Yoshida, N. (2021) Event structure semantics of (controlled) reversible CCS. Journal of Logical and Algebraic Methods in Programming, 121, 100686. (doi: 10.1016/j.jlamp.2021.100686)
Peters, K. and Yoshida, N. (2024) Mixed choice in session types. Information and Computation, 298, 105164. (doi: 10.1016/j.ic.2024.105164)
Demangeon, R. and Yoshida, N. (2023) Causal computational complexity of distributed processes. Information and Computation, 290, 104998. (doi: 10.1016/j.ic.2022.104998)
Graversen, E., Phillips, I. and Yoshida, N. (2022) Event structures for the reversible early internal π-calculus. Journal of Logical and Algebraic Methods in Programming, 124, 100720. (doi: 10.1016/j.jlamp.2021.100720)
Graversen, E., Phillips, I. and Yoshida, N. (2021) Event structure semantics of (controlled) reversible CCS. Journal of Logical and Algebraic Methods in Programming, 121, 100686. (doi: 10.1016/j.jlamp.2021.100686)