×
Compute Distance To:
Author ID: yoshida.nobuko Recent zbMATH articles by "Yoshida, Nobuko"
Published as: Yoshida, Nobuko
Homepage: http://mrg.doc.ic.ac.uk/people/nobuko-yoshida/
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

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

Cited by 446 Authors

44 Yoshida, Nobuko
21 Dezani-Ciancaglini, Mariangiola
17 Pérez, Jorge A.
15 Honda, Kohei
15 Sangiorgi, Davide
12 Padovani, Luca
11 Lanese, Ivan
11 Murawski, Andrzej S.
11 Tuosto, Emilio
10 Castellani, Ilaria
10 Hirschkoff, Daniel
9 Francalanza, Adrian
9 Hennessy, Matthew C. B.
9 Mezzina, Claudio Antares
8 De Nicola, Rocco
8 Vasconcelos, Vasco Thudichum
7 Carbone, Marco
7 de’Liguoro, Ugo
7 Pfenning, Frank
7 Phillips, Iain W.
7 Vieira, Hugo Torres
7 Zavattaro, Gianluigi
6 Barbanera, Franco
6 Bartoletti, Massimo
6 Berger, Martin J.
6 Bravetti, Mario
6 Coppo, Mario
6 Melgratti, Hernán
6 Merro, Massimo
6 Montesi, Fabrizio
6 Pantović, Jovanka
6 Toninho, Bernardo
6 Tzevelekos, Nikos
6 Varacca, Daniele
5 Bugliesi, Michele
5 Caires, Luís
5 Capecchi, Sara
5 Cristescu, Ioana Domnina
5 Demangeon, Romain
5 Fu, Yuxi
5 Gardner, Philippa Anne
5 Gay, Simon J.
5 Ghilezan, Silvia
5 Guanciale, Roberto
5 Jeffrey, Alan S. A.
5 Medić, Doriana
5 Pugliese, Rosario
5 Rathke, Julian
5 Tiezzi, Francesco
4 Amadio, Roberto M.
4 Bocchi, Laura
4 Cruz-Filipe, Luís
4 Diaz, Gregorio
4 Ferrari, Gian Luigi
4 Fournet, Cédric
4 Giachino, Elena
4 Giannini, Paola
4 Gorla, Daniele
4 Hildebrandt, Thomas T.
4 Horne, Ross
4 Jakšić, Svetlana
4 Kouzapas, Dimitrios
4 Laneve, Cosimo
4 Loreti, Michele
4 Madiot, Jean-Marie
4 Mostrous, Dimitris
4 Nestmann, Uwe
4 Reus, Bernhard
4 Scalas, Alceste
4 Xu, Xian
4 Zunino, Roberto
3 Aceto, Luca
3 Alrahman, Yehia Abd
3 Aubert, Clément
3 Bonchi, Filippo
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 Curien, Pierre-Louis
3 Dardha, Ornela
3 Deng, Yuxin
3 Faggian, Claudia
3 Gadducci, Fabio
3 Gordon, Andrew D.
3 Graversen, Eva
3 Ingólfsdóttir, Anna
3 Kiefer, Stefan
3 Kobayashi, Naoki
3 Koutavas, Vasileios
3 Krivine, Jean
3 Lange, Julien
3 Laurent, Olivier
3 Maffeis, Sergio
3 Murgia, Maurizio
3 Owe, Olaf
...and 346 more Authors

Citations by Year