Nobuko Yoshida
Nobuko Yoshida
Department of Computing, Imperial College London
Verified email at doc.ic.ac.uk
Title
Cited by
Cited by
Year
Multiparty asynchronous session types
K Honda, N Yoshida, M Carbone
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008
7672008
On reduction-based process semantics
K Honda, N Yoshida
Theoretical Computer Science 151 (2), 437-486, 1995
3531995
Structured communication-centred programming for web services
M Carbone, K Honda, N Yoshida
European Symposium on Programming, 2-17, 2007
3412007
A classification of acute leukaemia for the 1990s
D Catovsky, E Matutes, V Buccheri, V Shetty, J Hanslip, N Yoshida, ...
Annals of hematology 62 (1), 16-21, 1991
2761991
Global progress in dynamically interleaved multiparty sessions
L Bettini, M Coppo, L D’Antoni, M De Luca, M Dezani-Ciancaglini, ...
International Conference on Concurrency Theory, 418-433, 2008
2132008
Session-based distributed programming in Java
R Hu, N Yoshida, K Honda
European Conference on Object-Oriented Programming, 516-541, 2008
1942008
Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication
N Yoshida, VT Vasconcelos
Electronic Notes in Theoretical Computer Science 171 (4), 73-93, 2007
1802007
Session types for object-oriented languages
M Dezani-Ciancaglini, D Mostrous, N Yoshida, S Drossopoulou
European Conference on Object-Oriented Programming, 328-352, 2006
1782006
Graph types for monadic mobile processes
N Yoshida
International Conference on Foundations of Software Technology and …, 1996
1761996
Multiparty session types meet communicating automata
PM Deniélou, N Yoshida
European Symposium on Programming, 194-213, 2012
1622012
Secure information flow as typed process behaviour
K Honda, V Vasconcelos, N Yoshida
European Symposium on Programming, 180-199, 2000
1592000
Strong normalisation in the/spl pi/-calculus
N Yoshida, M Berger, K Honda
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 311-322, 2001
1502001
Multiparty asynchronous session types
K Honda, N Yoshida, M Carbone
Journal of the ACM (JACM) 63 (1), 1-67, 2016
1452016
A theory of design-by-contract for distributed multiparty interactions
L Bocchi, K Honda, E Tuosto, N Yoshida
International Conference on Concurrency Theory, 162-176, 2010
1452010
Dynamic multirole session types
PM Deniélou, N Yoshida
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
1372011
Scribbling interactions with a formal foundation
K Honda, A Mukhamedov, G Brown, TC Chen, N Yoshida
International Conference on Distributed Computing and Internet Technology, 55-75, 2011
1262011
A uniform type structure for secure information flow
K Honda, N Yoshida
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
1262002
From communicating machines to graphical choreographies
J Lange, E Tuosto, N Yoshida
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
1102015
Global principal typing in partially commutative asynchronous sessions
D Mostrous, N Yoshida, K Honda
European Symposium on Programming, 316-332, 2009
1102009
Multiparty compatibility in communicating automata: Characterisation and synthesis of global session types
PM Deniélou, N Yoshida
International Colloquium on Automata, Languages, and Programming, 174-186, 2013
1072013
The system can't perform the operation now. Try again later.
Articles 1–20