×

zbMATH — the first resource for mathematics

Yoshida, Nobuko

Compute Distance To:
Author ID: yoshida.nobuko Recent zbMATH articles by "Yoshida, Nobuko"
Published as: Yoshida, Nobuko; Yoshida, N.
Homepage: http://mrg.doc.ic.ac.uk/people/nobuko-yoshida/
External Links: MGP
Documents Indexed: 117 Publications since 1993, including 4 Books

Publications by Year

Citations contained in zbMATH Open

97 Publications have been cited 879 times in 358 Documents Cited by Year
On reduction-based process semantics. Zbl 0871.68122
Honda, Kohei; Yoshida, Nobuko
78
1995
Multiparty asynchronous session types. Zbl 1295.68150
Honda, Kohei; Yoshida, Nobuko; Carbone, Marco
70
2008
Structured communication-centred programming for web services. Zbl 1187.68064
Carbone, Marco; Honda, Kohei; Yoshida, Nobuko
39
2007
Strong normalisation in the \(\pi\)-calculus. Zbl 1101.68705
Yoshida, Nobuko; Berger, Martin; Honda, Kohei
29
2004
Global progress in dynamically interleaved multiparty sessions. Zbl 1160.68456
Bettini, Lorenzo; Coppo, Mario; D’Antoni, Loris; De Luca, Marco; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko
28
2008
Multiparty session types meet communicating automata. Zbl 1352.68182
Deniélou, Pierre-Malo; Yoshida, Nobuko
25
2012
Sequentiality and the \(\pi\)-calculus. Zbl 0981.68037
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
21
2001
Game-theoretic analysis of call-by-value computation. Zbl 0930.68061
Honda, Kohei; Yoshida, Nobuko
19
1999
From communicating machines to graphical choreographies. Zbl 1346.68136
Lange, Julien; Tuosto, Emilio; Yoshida, Nobuko
19
2015
A uniform type structure for secure information flow. Zbl 1323.68375
Honda, Kohei; Yoshida, Nobuko
19
2002
Secure information flow as typed process behaviour. Zbl 0960.68126
Honda, Kohei; Vasconcelos, Vasco; Yoshida, Nobuko
18
2000
Global progress for dynamically interleaved multiparty sessions. Zbl 1361.68165
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Padovani, Luca
18
2016
Multiparty asynchronous session types. Zbl 1426.68047
Honda, Kohei; Yoshida, Nobuko; Carbone, Marco
18
2016
Multiparty compatibility in communicating automata: characterisation and synthesis of global session types. Zbl 1334.68149
Deniélou, Pierre-Malo; Yoshida, Nobuko
17
2013
Global principal typing in partially commutative asynchronous sessions. Zbl 1234.68304
Mostrous, Dimitris; Yoshida, Nobuko; Honda, Kohei
17
2009
A theory of design-by-contract for distributed multiparty interactions. Zbl 1287.68121
Bocchi, Laura; Honda, Kohei; Tuosto, Emilio; Yoshida, Nobuko
14
2010
A distributed abstract machine for boxed ambient calculi. Zbl 1126.68507
Phillips, Andrew; Yoshida, Nobuko; Eisenbach, Susan
14
2004
Objects and session types. Zbl 1183.68358
Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Mostrous, Dimitris; Yoshida, Nobuko
14
2009
Asynchronous session types and progress for object oriented languages. Zbl 1202.68094
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko
14
2007
Event structure semantics of parallel extrusion in the pi-calculus. Zbl 1352.68179
Crafa, Silvia; Varacca, Daniele; Yoshida, Nobuko
12
2012
Structured interactional exceptions in session types. Zbl 1160.68459
Carbone, Marco; Honda, Kohei; Yoshida, Nobuko
12
2008
Two session typing systems for higher-order mobile processes. Zbl 1215.03028
Mostrous, Dimitris; Yoshida, Nobuko
11
2007
Dynamic multirole session types. Zbl 1284.68049
Deniélou, Pierre-Malo; Yoshida, Nobuko
11
2011
Game theoretic analysis of call-by-value computation. Zbl 1401.68032
Honda, Kohei; Yoshida, Nobuko
11
1997
Globally governed session semantics. Zbl 1448.68344
Kouzapas, Dimitrios; Yoshida, Nobuko
11
2014
Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus. Zbl 1309.68139
Mostrous, Dimitris; Yoshida, Nobuko
11
2015
Compositional choreographies. Zbl 1390.68483
Montesi, Fabrizio; Yoshida, Nobuko
10
2013
Monitoring networks through multiparty session types. Zbl 1359.68215
Bocchi, Laura; Chen, Tzu-Chun; Demangeon, Romain; Honda, Kohei; Yoshida, Nobuko
10
2017
Bounded session types for object oriented languages. Zbl 1147.68445
Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Drossopoulou, Sophia; Yoshida, Nobuko
9
2007
A calculus of global interaction based on session types. Zbl 1277.68171
Carbone, Marco; Honda, Kohei; Yoshida, Nobuko
9
2007
Linearity and bisimulation. Zbl 1077.68719
Yoshida, Nobuko; Honda, Kohei; Berger, Martin
9
2002
Genericity and the \(\pi\)-calculus. Zbl 1029.68039
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
9
2003
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. Zbl 1341.68118
Demangeon, Romain; Honda, Kohei; Hu, Raymond; Neykova, Rumyana; Yoshida, Nobuko
9
2015
On the undecidability of asynchronous session subtyping. Zbl 06721005
Lange, Julien; Yoshida, Nobuko
8
2017
Session-based communication optimisation for higher-order mobile processes. Zbl 1246.68069
Mostrous, Dimitris; Yoshida, Nobuko
8
2009
safeDpi: a language for controlling mobile code. Zbl 1081.68003
Hennessy, Matthew; Rathke, Julian; Yoshida, Nobuko
8
2005
Reversible session-based pi-calculus. Zbl 1337.68075
Tiezzi, Francesco; Yoshida, Nobuko
7
2015
Timed multiparty session types. Zbl 1417.68117
Bocchi, Laura; Yang, Weizhen; Yoshida, Nobuko
7
2014
A distributed object-oriented language with session types. Zbl 1151.68347
Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Ahern, Alexander; Drossopoulou, Sophia
7
2005
Typed event structures and the linear \(\pi \)-calculus. Zbl 1200.68165
Varacca, Daniele; Yoshida, Nobuko
7
2010
Parameterised multiparty session types. Zbl 1284.68077
Yoshida, Nobuko; Deniélou, Pierre-Malo; Bejleri, Andi; Hu, Raymond
7
2010
Assigning types to processes. Zbl 1009.68085
Yoshida, Nobuko; Hennessy, Matthew
7
2002
Global escape in multiparty sessions. Zbl 1245.68019
Capecchi, Sara; Giachino, Elena; Yoshida, Nobuko
7
2010
Compositional event structure semantics for the internal \(\pi \)-calculus. Zbl 1151.68524
Crafa, Silvia; Varacca, Daniele; Yoshida, Nobuko
6
2007
Replication in concurrent combinators. Zbl 0942.03510
Honda, Kohei; Yoshida, Nobuko
6
1994
On the preciseness of subtyping in session types. Zbl 1398.68360
Chen, Tzu-Chun; Dezani-Ciancaglini, Mariangiola; Scalas, Alceste; Yoshida, Nobuko
6
2017
Meeting deadlines together. Zbl 1374.68320
Bocchi, Laura; Lange, Julien; Yoshida, Nobuko
6
2015
Typed event structures and the \(\pi\)-calculus (extended abstract). Zbl 1273.68265
Varacca, Daniele; Yoshida, Nobuko
6
2006
Timed runtime monitoring for multiparty conversations. Zbl 1375.68030
Neykova, Rumyana; Bocchi, Laura; Yoshida, Nobuko
6
2017
A gentle introduction to multiparty asynchronous session types. Zbl 1346.68034
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko
6
2015
Buffered communication analysis in distributed multiparty sessions. Zbl 1287.68130
Deniélou, Pierre-Malo; Yoshida, Nobuko
6
2010
Subtyping and locality in distributed higher order processes. Zbl 0940.68024
Yoshida, Nobuko; Hennessy, Matthew
6
1999
Genericity and the \(\pi\)-calculus. Zbl 1079.68064
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
6
2005
An observationally complete program logic for imperative higher-order functions. Zbl 1358.68071
Honda, Kohei; Yoshida, Nobuko; Berger, Martin
5
2014
On asynchronous eventful session semantics. Zbl 1361.68170
Kouzapas, Dimitrios; Yoshida, Nobuko; Hu, Raymond; Honda, Kohei
5
2016
Effects as sessions, sessions as effects. Zbl 1347.68055
Orchard, Dominic; Yoshida, Nobuko
5
2016
Parameterised multiparty session types. Zbl 1248.68089
Deniélou, Pierre-Malo; Yoshida, Nobuko; Bejleri, Andi; Hu, Raymond
5
2012
Channel dependent types for higher-order mobile processes. Zbl 1325.68162
Yoshida, Nobuko
5
2004
Formalising Java RMI with explicit code mobility. Zbl 1132.68020
Ahern, Alexander; Yoshida, Nobuko
5
2007
On the relative expressiveness of higher-order session processes. Zbl 1335.68174
Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko
4
2016
Reversing single sessions. Zbl 06610597
Tiezzi, Francesco; Yoshida, Nobuko
4
2016
Event structure semantics of (controlled) reversible CCS. Zbl 06957259
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko
4
2018
Linearity and bisimulation. Zbl 1119.68131
Yoshida, Nobuko; Honda, Kohei; Berger, Martin
4
2007
Descriptive and relative completeness of logics for higher-order functions. Zbl 1133.03333
Honda, Kohei; Berger, Martin; Yoshida, Nobuko
4
2006
On reduction-based process semantics. Zbl 0925.68304
Honda, Kohei; Yoshida, Nobuko
4
1993
Theoretical aspects of communication-centred programming. Zbl 1279.68050
Carbone, Marco; Honda, Kohei; Yoshida, Nobuko
3
2008
Multiparty session types as coherence proofs. Zbl 1371.68049
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten; Yoshida, Nobuko
3
2017
Globally governed session semantics. Zbl 1390.68477
Kouzapas, Dimitrios; Yoshida, Nobuko
3
2013
On the expressiveness of multiparty sessions. Zbl 1366.68012
Demangeon, Romain; Yoshida, Nobuko
3
2015
CONCUR 2004 – concurrency theory. 15th international conference, London, UK, August 31 – September 3, 2004. Proceedings. Zbl 1058.68006
Gardner, Philippa (ed.); Yoshida, Nobuko (ed.)
2
2004
Probabilistic \(\pi\)-calculus and event structures. Zbl 1279.68269
Varacca, Daniele; Yoshida, Nobuko
2
2007
Noninterference through flow analysis. Zbl 1077.68063
Honda, Kohei; Yoshida, Nobuko
2
2005
Characteristic bisimulation for higher-order session processes. Zbl 1380.68297
Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko
2
2017
Characteristic bisimulation for higher-order session processes. Zbl 1374.68336
Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko
2
2015
Fencing off Go: liveness and safety for channel-based programming. Zbl 1380.68298
Lange, Julien; Ng, Nicholas; Toninho, Bernardo; Yoshida, Nobuko
2
2017
Multiparty session nets. Zbl 1444.68117
Fossati, Luca; Hu, Raymond; Yoshida, Nobuko
2
2014
Global escape in multiparty sessions. Zbl 1361.68163
Capecchi, Sara; Giachino, Elena; Yoshida, Nobuko
2
2016
Certifying data in multiparty session types. Zbl 1343.68063
Toninho, Bernardo; Yoshida, Nobuko
2
2016
Multiparty session actors. Zbl 1398.68097
Neykova, Rumyana; Yoshida, Nobuko
2
2017
Multiparty session types, beyond duality. Zbl 1395.68199
Scalas, Alceste; Yoshida, Nobuko
2
2018
Minimality and separation results on asynchronous mobile processes – representability theorems by concurrent combinators. Zbl 0992.68151
Yoshida, Nobuko
2
2002
Oscillation of half-linear partial differential equations with first order terms. Zbl 1052.35013
Yoshida, N.
2
2003
Logical reasoning for higher-order functions with local state. Zbl 1161.68031
Yoshida, Nobuko; Honda, Kohei; Berger, Martin
2
2008
Timed, distributed, probabilistic, typed processes. Zbl 1137.68442
Berger, Martin; Yoshida, Nobuko
2
2007
Completeness and logical full abstraction in modal logics for typed mobile processes. Zbl 1155.68472
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
2
2008
Towards a categorical representation of reversible event structures. Zbl 1427.68196
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko
2
2019
On reduction-based process semantics. Zbl 0941.68622
Honda, Kohei; Yoshida, Nobuko
1
1995
Process types as a descriptive tool for interaction. Control and the pi-calculus. Zbl 1416.68039
Honda, Kohei; Yoshida, Nobuko; Berger, Martin
1
2014
Logical reasoning for higher-order functions with local state. Zbl 1195.68032
Yoshida, Nobuko; Honda, Kohei; Berger, Martin
1
2007
A logical analysis of aliasing in imperative higher-order functions. Zbl 1125.68027
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
1
2007
SafeDpi: A language for controlling mobile code (extended abstract). Zbl 1126.68501
Hennessy, Matthew; Rathke, Julian; Yoshida, Nobuko
1
2004
A logical analysis of aliasing in imperative higher-order functions. Zbl 1302.68182
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
1
2005
On observing dynamic prioritised actions in SOC. Zbl 1248.68099
Pugliese, Rosario; Tiezzi, Francesco; Yoshida, Nobuko
1
2009
Type-checking liveness for collaborative processes with bounded and unbounded recursion. Zbl 1448.68338
Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs; Yoshida, Nobuko
1
2016
Precise subtyping for synchronous multiparty sessions. Zbl 1423.68306
Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, Nobuko
1
2019
Characteristic formulae for session types. Zbl 1420.68070
Lange, Julien; Yoshida, Nobuko
1
2016
A parametric framework for reversible \(\pi\)-calculi. Zbl 07285774
Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
1
2020
A parametric framework for reversible \(\pi\)-calculi. Zbl 07285774
Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko
1
2020
Towards a categorical representation of reversible event structures. Zbl 1427.68196
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko
2
2019
Precise subtyping for synchronous multiparty sessions. Zbl 1423.68306
Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, Nobuko
1
2019
Event structure semantics of (controlled) reversible CCS. Zbl 06957259
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko
4
2018
Multiparty session types, beyond duality. Zbl 1395.68199
Scalas, Alceste; Yoshida, Nobuko
2
2018
Monitoring networks through multiparty session types. Zbl 1359.68215
Bocchi, Laura; Chen, Tzu-Chun; Demangeon, Romain; Honda, Kohei; Yoshida, Nobuko
10
2017
On the undecidability of asynchronous session subtyping. Zbl 06721005
Lange, Julien; Yoshida, Nobuko
8
2017
On the preciseness of subtyping in session types. Zbl 1398.68360
Chen, Tzu-Chun; Dezani-Ciancaglini, Mariangiola; Scalas, Alceste; Yoshida, Nobuko
6
2017
Timed runtime monitoring for multiparty conversations. Zbl 1375.68030
Neykova, Rumyana; Bocchi, Laura; Yoshida, Nobuko
6
2017
Multiparty session types as coherence proofs. Zbl 1371.68049
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten; Yoshida, Nobuko
3
2017
Characteristic bisimulation for higher-order session processes. Zbl 1380.68297
Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko
2
2017
Fencing off Go: liveness and safety for channel-based programming. Zbl 1380.68298
Lange, Julien; Ng, Nicholas; Toninho, Bernardo; Yoshida, Nobuko
2
2017
Multiparty session actors. Zbl 1398.68097
Neykova, Rumyana; Yoshida, Nobuko
2
2017
Global progress for dynamically interleaved multiparty sessions. Zbl 1361.68165
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Padovani, Luca
18
2016
Multiparty asynchronous session types. Zbl 1426.68047
Honda, Kohei; Yoshida, Nobuko; Carbone, Marco
18
2016
On asynchronous eventful session semantics. Zbl 1361.68170
Kouzapas, Dimitrios; Yoshida, Nobuko; Hu, Raymond; Honda, Kohei
5
2016
Effects as sessions, sessions as effects. Zbl 1347.68055
Orchard, Dominic; Yoshida, Nobuko
5
2016
On the relative expressiveness of higher-order session processes. Zbl 1335.68174
Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko
4
2016
Reversing single sessions. Zbl 06610597
Tiezzi, Francesco; Yoshida, Nobuko
4
2016
Global escape in multiparty sessions. Zbl 1361.68163
Capecchi, Sara; Giachino, Elena; Yoshida, Nobuko
2
2016
Certifying data in multiparty session types. Zbl 1343.68063
Toninho, Bernardo; Yoshida, Nobuko
2
2016
Type-checking liveness for collaborative processes with bounded and unbounded recursion. Zbl 1448.68338
Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs; Yoshida, Nobuko
1
2016
Characteristic formulae for session types. Zbl 1420.68070
Lange, Julien; Yoshida, Nobuko
1
2016
From communicating machines to graphical choreographies. Zbl 1346.68136
Lange, Julien; Tuosto, Emilio; Yoshida, Nobuko
19
2015
Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus. Zbl 1309.68139
Mostrous, Dimitris; Yoshida, Nobuko
11
2015
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. Zbl 1341.68118
Demangeon, Romain; Honda, Kohei; Hu, Raymond; Neykova, Rumyana; Yoshida, Nobuko
9
2015
Reversible session-based pi-calculus. Zbl 1337.68075
Tiezzi, Francesco; Yoshida, Nobuko
7
2015
Meeting deadlines together. Zbl 1374.68320
Bocchi, Laura; Lange, Julien; Yoshida, Nobuko
6
2015
A gentle introduction to multiparty asynchronous session types. Zbl 1346.68034
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko
6
2015
On the expressiveness of multiparty sessions. Zbl 1366.68012
Demangeon, Romain; Yoshida, Nobuko
3
2015
Characteristic bisimulation for higher-order session processes. Zbl 1374.68336
Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko
2
2015
Globally governed session semantics. Zbl 1448.68344
Kouzapas, Dimitrios; Yoshida, Nobuko
11
2014
Timed multiparty session types. Zbl 1417.68117
Bocchi, Laura; Yang, Weizhen; Yoshida, Nobuko
7
2014
An observationally complete program logic for imperative higher-order functions. Zbl 1358.68071
Honda, Kohei; Yoshida, Nobuko; Berger, Martin
5
2014
Multiparty session nets. Zbl 1444.68117
Fossati, Luca; Hu, Raymond; Yoshida, Nobuko
2
2014
Process types as a descriptive tool for interaction. Control and the pi-calculus. Zbl 1416.68039
Honda, Kohei; Yoshida, Nobuko; Berger, Martin
1
2014
Multiparty compatibility in communicating automata: characterisation and synthesis of global session types. Zbl 1334.68149
Deniélou, Pierre-Malo; Yoshida, Nobuko
17
2013
Compositional choreographies. Zbl 1390.68483
Montesi, Fabrizio; Yoshida, Nobuko
10
2013
Globally governed session semantics. Zbl 1390.68477
Kouzapas, Dimitrios; Yoshida, Nobuko
3
2013
Multiparty session types meet communicating automata. Zbl 1352.68182
Deniélou, Pierre-Malo; Yoshida, Nobuko
25
2012
Event structure semantics of parallel extrusion in the pi-calculus. Zbl 1352.68179
Crafa, Silvia; Varacca, Daniele; Yoshida, Nobuko
12
2012
Parameterised multiparty session types. Zbl 1248.68089
Deniélou, Pierre-Malo; Yoshida, Nobuko; Bejleri, Andi; Hu, Raymond
5
2012
Dynamic multirole session types. Zbl 1284.68049
Deniélou, Pierre-Malo; Yoshida, Nobuko
11
2011
A theory of design-by-contract for distributed multiparty interactions. Zbl 1287.68121
Bocchi, Laura; Honda, Kohei; Tuosto, Emilio; Yoshida, Nobuko
14
2010
Typed event structures and the linear \(\pi \)-calculus. Zbl 1200.68165
Varacca, Daniele; Yoshida, Nobuko
7
2010
Parameterised multiparty session types. Zbl 1284.68077
Yoshida, Nobuko; Deniélou, Pierre-Malo; Bejleri, Andi; Hu, Raymond
7
2010
Global escape in multiparty sessions. Zbl 1245.68019
Capecchi, Sara; Giachino, Elena; Yoshida, Nobuko
7
2010
Buffered communication analysis in distributed multiparty sessions. Zbl 1287.68130
Deniélou, Pierre-Malo; Yoshida, Nobuko
6
2010
Global principal typing in partially commutative asynchronous sessions. Zbl 1234.68304
Mostrous, Dimitris; Yoshida, Nobuko; Honda, Kohei
17
2009
Objects and session types. Zbl 1183.68358
Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Mostrous, Dimitris; Yoshida, Nobuko
14
2009
Session-based communication optimisation for higher-order mobile processes. Zbl 1246.68069
Mostrous, Dimitris; Yoshida, Nobuko
8
2009
On observing dynamic prioritised actions in SOC. Zbl 1248.68099
Pugliese, Rosario; Tiezzi, Francesco; Yoshida, Nobuko
1
2009
Multiparty asynchronous session types. Zbl 1295.68150
Honda, Kohei; Yoshida, Nobuko; Carbone, Marco
70
2008
Global progress in dynamically interleaved multiparty sessions. Zbl 1160.68456
Bettini, Lorenzo; Coppo, Mario; D’Antoni, Loris; De Luca, Marco; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko
28
2008
Structured interactional exceptions in session types. Zbl 1160.68459
Carbone, Marco; Honda, Kohei; Yoshida, Nobuko
12
2008
Theoretical aspects of communication-centred programming. Zbl 1279.68050
Carbone, Marco; Honda, Kohei; Yoshida, Nobuko
3
2008
Logical reasoning for higher-order functions with local state. Zbl 1161.68031
Yoshida, Nobuko; Honda, Kohei; Berger, Martin
2
2008
Completeness and logical full abstraction in modal logics for typed mobile processes. Zbl 1155.68472
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
2
2008
Structured communication-centred programming for web services. Zbl 1187.68064
Carbone, Marco; Honda, Kohei; Yoshida, Nobuko
39
2007
Asynchronous session types and progress for object oriented languages. Zbl 1202.68094
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko
14
2007
Two session typing systems for higher-order mobile processes. Zbl 1215.03028
Mostrous, Dimitris; Yoshida, Nobuko
11
2007
Bounded session types for object oriented languages. Zbl 1147.68445
Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Drossopoulou, Sophia; Yoshida, Nobuko
9
2007
A calculus of global interaction based on session types. Zbl 1277.68171
Carbone, Marco; Honda, Kohei; Yoshida, Nobuko
9
2007
Compositional event structure semantics for the internal \(\pi \)-calculus. Zbl 1151.68524
Crafa, Silvia; Varacca, Daniele; Yoshida, Nobuko
6
2007
Formalising Java RMI with explicit code mobility. Zbl 1132.68020
Ahern, Alexander; Yoshida, Nobuko
5
2007
Linearity and bisimulation. Zbl 1119.68131
Yoshida, Nobuko; Honda, Kohei; Berger, Martin
4
2007
Probabilistic \(\pi\)-calculus and event structures. Zbl 1279.68269
Varacca, Daniele; Yoshida, Nobuko
2
2007
Timed, distributed, probabilistic, typed processes. Zbl 1137.68442
Berger, Martin; Yoshida, Nobuko
2
2007
Logical reasoning for higher-order functions with local state. Zbl 1195.68032
Yoshida, Nobuko; Honda, Kohei; Berger, Martin
1
2007
A logical analysis of aliasing in imperative higher-order functions. Zbl 1125.68027
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
1
2007
Typed event structures and the \(\pi\)-calculus (extended abstract). Zbl 1273.68265
Varacca, Daniele; Yoshida, Nobuko
6
2006
Descriptive and relative completeness of logics for higher-order functions. Zbl 1133.03333
Honda, Kohei; Berger, Martin; Yoshida, Nobuko
4
2006
safeDpi: a language for controlling mobile code. Zbl 1081.68003
Hennessy, Matthew; Rathke, Julian; Yoshida, Nobuko
8
2005
A distributed object-oriented language with session types. Zbl 1151.68347
Dezani-Ciancaglini, Mariangiola; Yoshida, Nobuko; Ahern, Alexander; Drossopoulou, Sophia
7
2005
Genericity and the \(\pi\)-calculus. Zbl 1079.68064
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
6
2005
Noninterference through flow analysis. Zbl 1077.68063
Honda, Kohei; Yoshida, Nobuko
2
2005
A logical analysis of aliasing in imperative higher-order functions. Zbl 1302.68182
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
1
2005
Strong normalisation in the \(\pi\)-calculus. Zbl 1101.68705
Yoshida, Nobuko; Berger, Martin; Honda, Kohei
29
2004
A distributed abstract machine for boxed ambient calculi. Zbl 1126.68507
Phillips, Andrew; Yoshida, Nobuko; Eisenbach, Susan
14
2004
Channel dependent types for higher-order mobile processes. Zbl 1325.68162
Yoshida, Nobuko
5
2004
CONCUR 2004 – concurrency theory. 15th international conference, London, UK, August 31 – September 3, 2004. Proceedings. Zbl 1058.68006
Gardner, Philippa; Yoshida, Nobuko
2
2004
SafeDpi: A language for controlling mobile code (extended abstract). Zbl 1126.68501
Hennessy, Matthew; Rathke, Julian; Yoshida, Nobuko
1
2004
Genericity and the \(\pi\)-calculus. Zbl 1029.68039
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
9
2003
Oscillation of half-linear partial differential equations with first order terms. Zbl 1052.35013
Yoshida, N.
2
2003
A uniform type structure for secure information flow. Zbl 1323.68375
Honda, Kohei; Yoshida, Nobuko
19
2002
Linearity and bisimulation. Zbl 1077.68719
Yoshida, Nobuko; Honda, Kohei; Berger, Martin
9
2002
Assigning types to processes. Zbl 1009.68085
Yoshida, Nobuko; Hennessy, Matthew
7
2002
Minimality and separation results on asynchronous mobile processes – representability theorems by concurrent combinators. Zbl 0992.68151
Yoshida, Nobuko
2
2002
Sequentiality and the \(\pi\)-calculus. Zbl 0981.68037
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
21
2001
Secure information flow as typed process behaviour. Zbl 0960.68126
Honda, Kohei; Vasconcelos, Vasco; Yoshida, Nobuko
18
2000
Game-theoretic analysis of call-by-value computation. Zbl 0930.68061
Honda, Kohei; Yoshida, Nobuko
19
1999
Subtyping and locality in distributed higher order processes. Zbl 0940.68024
Yoshida, Nobuko; Hennessy, Matthew
6
1999
Game theoretic analysis of call-by-value computation. Zbl 1401.68032
Honda, Kohei; Yoshida, Nobuko
11
1997
On reduction-based process semantics. Zbl 0871.68122
Honda, Kohei; Yoshida, Nobuko
78
1995
On reduction-based process semantics. Zbl 0941.68622
Honda, Kohei; Yoshida, Nobuko
1
1995
Replication in concurrent combinators. Zbl 0942.03510
Honda, Kohei; Yoshida, Nobuko
6
1994
On reduction-based process semantics. Zbl 0925.68304
Honda, Kohei; Yoshida, Nobuko
4
1993
all top 5

Cited by 393 Authors

41 Yoshida, Nobuko
20 Dezani-Ciancaglini, Mariangiola
15 Honda, Kohei
15 Sangiorgi, Davide
12 Pérez, Jorge A.
10 Castellani, Ilaria
10 Hirschkoff, Daniel
10 Murawski, Andrzej S.
10 Padovani, Luca
9 Hennessy, Matthew C. B.
9 Lanese, Ivan
8 De Nicola, Rocco
7 Carbone, Marco
7 Francalanza, Adrian
7 Vasconcelos, Vasco Thudichum
6 Barbanera, Franco
6 Bartoletti, Massimo
6 Berger, Martin J.
6 Coppo, Mario
6 Merro, Massimo
6 Mezzina, Claudio Antares
6 Toninho, Bernardo
6 Tuosto, Emilio
6 Tzevelekos, Nikos
6 Varacca, Daniele
6 Vieira, Hugo Torres
6 Zavattaro, Gianluigi
5 Bravetti, Mario
5 Bugliesi, Michele
5 Caires, Luís
5 Capecchi, Sara
5 de’Liguoro, Ugo
5 Demangeon, Romain
5 Fu, Yuxi
5 Gardner, Philippa Anne
5 Gay, Simon J.
5 Ghilezan, Silvia
5 Jeffrey, Alan S. A.
5 Montesi, Fabrizio
5 Pantović, Jovanka
5 Pugliese, Rosario
5 Rathke, Julian
5 Tiezzi, Francesco
4 Amadio, Roberto M.
4 Bocchi, Laura
4 Cristescu, Ioana Domnina
4 Diaz, Gregorio
4 Ferrari, Gian Luigi
4 Fournet, Cédric
4 Giachino, Elena
4 Gorla, Daniele
4 Jakšić, Svetlana
4 Kouzapas, Dimitrios
4 Laneve, Cosimo
4 Loreti, Michele
4 Madiot, Jean-Marie
4 Mostrous, Dimitris
4 Nestmann, Uwe
4 Pfenning, Frank
4 Phillips, Iain W.
4 Reus, Bernhard
4 Scalas, Alceste
4 Zunino, Roberto
3 Alrahman, Yehia Abd
3 Bono, Viviana
3 Boudol, Gérard
3 Bruni, Roberto
3 Cambronero, María Emilia
3 Castagna, Giuseppe
3 Charlton, Nathaniel
3 Chen, Tzu-Chun
3 Crafa, Silvia
3 Cruz-Filipe, Luís
3 Curien, Pierre-Louis
3 Deng, Yuxin
3 Faggian, Claudia
3 Giannini, Paola
3 Gordon, Andrew D.
3 Guanciale, Roberto
3 Horne, Ross
3 Kiefer, Stefan
3 Kobayashi, Naoki
3 Koutavas, Vasileios
3 Krivine, Jean
3 Laurent, Olivier
3 Maffeis, Sergio
3 Murgia, Maurizio
3 Owe, Olaf
3 Piccolo, Mauro
3 Sassone, Vladimiro
3 Schmitt, Alan
3 Stefani, Jean-Bernard
3 Valero, Valentín
3 Venneri, Betti
3 Xu, Xian
2 Abadi, Martín
2 Aceto, Luca
2 Almeida Matos, Ana
2 Atkey, Robert
2 Basile, Davide
...and 293 more Authors

Citations by Year