×

zbMATH — the first resource for mathematics

Honda, Kohei

Compute Distance To:
Author ID: honda.kohei Recent zbMATH articles by "Honda, Kohei"
Published as: Honda, Kohei
Documents Indexed: 46 Publications since 1993

Publications by Year

Citations contained in zbMATH Open

43 Publications have been cited 560 times in 310 Documents Cited by Year
On reduction-based process semantics. Zbl 0871.68122
Honda, Kohei; Yoshida, Nobuko
79
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
Types for dyadic interaction. Zbl 0939.68642
Honda, Kohei
33
1993
Strong normalisation in the \(\pi\)-calculus. Zbl 1101.68705
Yoshida, Nobuko; Berger, Martin; Honda, Kohei
30
2004
Sequentiality and the \(\pi\)-calculus. Zbl 0981.68037
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
21
2001
A uniform type structure for secure information flow. Zbl 1323.68375
Honda, Kohei; Yoshida, Nobuko
20
2002
Game-theoretic analysis of call-by-value computation. Zbl 0930.68061
Honda, Kohei; Yoshida, Nobuko
20
1999
Multiparty asynchronous session types. Zbl 1426.68047
Honda, Kohei; Yoshida, Nobuko; Carbone, Marco
18
2016
Secure information flow as typed process behaviour. Zbl 0960.68126
Honda, Kohei; Vasconcelos, Vasco; Yoshida, Nobuko
18
2000
Global principal typing in partially commutative asynchronous sessions. Zbl 1234.68304
Mostrous, Dimitris; Yoshida, Nobuko; Honda, Kohei
16
2009
A theory of design-by-contract for distributed multiparty interactions. Zbl 1287.68121
Bocchi, Laura; Honda, Kohei; Tuosto, Emilio; Yoshida, Nobuko
14
2010
Monitoring networks through multiparty session types. Zbl 1359.68215
Bocchi, Laura; Chen, Tzu-Chun; Demangeon, Romain; Honda, Kohei; Yoshida, Nobuko
13
2017
Game theoretic analysis of call-by-value computation. Zbl 1401.68032
Honda, Kohei; Yoshida, Nobuko
13
1997
Full abstraction in a subtyped pi-calculus with linear types. Zbl 1343.68165
Demangeon, Romain; Honda, Kohei
12
2011
Structured interactional exceptions in session types. Zbl 1160.68459
Carbone, Marco; Honda, Kohei; Yoshida, Nobuko
12
2008
The two-phase commitment protocol in an extended \(\pi\)-calculus. Zbl 1260.68258
Berger, Martin; Honda, Kohei
10
2003
Linearity and bisimulation. Zbl 1077.68719
Yoshida, Nobuko; Honda, Kohei; Berger, Martin
10
2002
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
An observationally complete program logic for imperative higher-order functions. Zbl 1358.68071
Honda, Kohei; Yoshida, Nobuko; Berger, Martin
9
2014
A calculus of global interaction based on session types. Zbl 1277.68171
Carbone, Marco; Honda, Kohei; Yoshida, Nobuko
9
2007
Genericity and the \(\pi\)-calculus. Zbl 1029.68039
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
9
2003
On asynchronous eventful session semantics. Zbl 1361.68170
Kouzapas, Dimitrios; Yoshida, Nobuko; Hu, Raymond; Honda, Kohei
7
2016
An exact correspondence between a typed pi-calculus and polarised proof-nets. Zbl 1203.68114
Honda, Kohei; Laurent, Olivier
7
2010
Nested protocols in session types. Zbl 1364.68281
Demangeon, Romain; Honda, Kohei
6
2012
Genericity and the \(\pi\)-calculus. Zbl 1079.68064
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
6
2005
Replication in concurrent combinators. Zbl 0942.03510
Honda, Kohei; Yoshida, Nobuko
6
1994
Specifying stateful asynchronous properties for distributed programs. Zbl 1364.68279
Chen, Tzu-Chun; Honda, Kohei
5
2012
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
Elementary structures in process theory. I: Sets with renaming. Zbl 0968.68112
Honda, Kohei
4
2000
On reduction-based process semantics. Zbl 0941.68622
Honda, Kohei; Yoshida, Nobuko
4
1995
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
Noninterference through flow analysis. Zbl 1077.68063
Honda, Kohei; Yoshida, Nobuko
3
2005
From process logic to program logic. Zbl 1323.03034
Honda, Kohei
3
2004
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
Processes and games. Zbl 1272.68305
Honda, Kohei
2
2004
Process types as a descriptive tool for interaction. Control and the pi-calculus. Zbl 1416.68039
Honda, Kohei; Yoshida, Nobuko; Berger, Martin
1
2014
A logical analysis of aliasing in imperative higher-order functions. Zbl 1125.68027
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
1
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 1302.68182
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
1
2005
Monitoring networks through multiparty session types. Zbl 1359.68215
Bocchi, Laura; Chen, Tzu-Chun; Demangeon, Romain; Honda, Kohei; Yoshida, Nobuko
13
2017
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
7
2016
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
An observationally complete program logic for imperative higher-order functions. Zbl 1358.68071
Honda, Kohei; Yoshida, Nobuko; Berger, Martin
9
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
Nested protocols in session types. Zbl 1364.68281
Demangeon, Romain; Honda, Kohei
6
2012
Specifying stateful asynchronous properties for distributed programs. Zbl 1364.68279
Chen, Tzu-Chun; Honda, Kohei
5
2012
Full abstraction in a subtyped pi-calculus with linear types. Zbl 1343.68165
Demangeon, Romain; Honda, Kohei
12
2011
A theory of design-by-contract for distributed multiparty interactions. Zbl 1287.68121
Bocchi, Laura; Honda, Kohei; Tuosto, Emilio; Yoshida, Nobuko
14
2010
An exact correspondence between a typed pi-calculus and polarised proof-nets. Zbl 1203.68114
Honda, Kohei; Laurent, Olivier
7
2010
Global principal typing in partially commutative asynchronous sessions. Zbl 1234.68304
Mostrous, Dimitris; Yoshida, Nobuko; Honda, Kohei
16
2009
Multiparty asynchronous session types. Zbl 1295.68150
Honda, Kohei; Yoshida, Nobuko; Carbone, Marco
70
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
A calculus of global interaction based on session types. Zbl 1277.68171
Carbone, Marco; Honda, Kohei; Yoshida, Nobuko
9
2007
Linearity and bisimulation. Zbl 1119.68131
Yoshida, Nobuko; Honda, Kohei; Berger, Martin
4
2007
A logical analysis of aliasing in imperative higher-order functions. Zbl 1125.68027
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
1
2007
Logical reasoning for higher-order functions with local state. Zbl 1195.68032
Yoshida, Nobuko; Honda, Kohei; Berger, Martin
1
2007
Descriptive and relative completeness of logics for higher-order functions. Zbl 1133.03333
Honda, Kohei; Berger, Martin; Yoshida, Nobuko
4
2006
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
3
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
30
2004
From process logic to program logic. Zbl 1323.03034
Honda, Kohei
3
2004
Processes and games. Zbl 1272.68305
Honda, Kohei
2
2004
The two-phase commitment protocol in an extended \(\pi\)-calculus. Zbl 1260.68258
Berger, Martin; Honda, Kohei
10
2003
Genericity and the \(\pi\)-calculus. Zbl 1029.68039
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
9
2003
A uniform type structure for secure information flow. Zbl 1323.68375
Honda, Kohei; Yoshida, Nobuko
20
2002
Linearity and bisimulation. Zbl 1077.68719
Yoshida, Nobuko; Honda, Kohei; Berger, Martin
10
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
Elementary structures in process theory. I: Sets with renaming. Zbl 0968.68112
Honda, Kohei
4
2000
Game-theoretic analysis of call-by-value computation. Zbl 0930.68061
Honda, Kohei; Yoshida, Nobuko
20
1999
Game theoretic analysis of call-by-value computation. Zbl 1401.68032
Honda, Kohei; Yoshida, Nobuko
13
1997
On reduction-based process semantics. Zbl 0871.68122
Honda, Kohei; Yoshida, Nobuko
79
1995
On reduction-based process semantics. Zbl 0941.68622
Honda, Kohei; Yoshida, Nobuko
4
1995
Replication in concurrent combinators. Zbl 0942.03510
Honda, Kohei; Yoshida, Nobuko
6
1994
Types for dyadic interaction. Zbl 0939.68642
Honda, Kohei
33
1993
On reduction-based process semantics. Zbl 0925.68304
Honda, Kohei; Yoshida, Nobuko
4
1993
all top 5

Cited by 359 Authors

37 Yoshida, Nobuko
17 Dezani-Ciancaglini, Mariangiola
14 Honda, Kohei
14 Sangiorgi, Davide
11 Padovani, Luca
11 Pérez, Jorge A.
10 Murawski, Andrzej S.
9 Castellani, Ilaria
9 Hennessy, Matthew C. B.
9 Hirschkoff, Daniel
8 Zavattaro, Gianluigi
7 Caires, Luís
7 Carbone, Marco
6 Berger, Martin J.
6 Coppo, Mario
6 De Nicola, Rocco
6 Francalanza, Adrian
6 Lanese, Ivan
6 Merro, Massimo
6 Toninho, Bernardo
6 Tuosto, Emilio
6 Tzevelekos, Nikos
5 Barbanera, Franco
5 Bartoletti, Massimo
5 Bravetti, Mario
5 Bugliesi, Michele
5 Demangeon, Romain
5 Fu, Yuxi
5 Gardner, Philippa Anne
5 Montesi, Fabrizio
5 Rathke, Julian
5 Reus, Bernhard
5 Vieira, Hugo Torres
4 Amadio, Roberto M.
4 Bruni, Roberto
4 Capecchi, Sara
4 Charlton, Nathaniel
4 Diaz, Gregorio
4 Fournet, Cédric
4 Giachino, Elena
4 Jeffrey, Alan S. A.
4 Koutavas, Vasileios
4 Kouzapas, Dimitrios
4 Laird, James D.
4 Loreti, Michele
4 Madiot, Jean-Marie
4 Mostrous, Dimitris
4 Nielson, Flemming
4 Pugliese, Rosario
4 Riis Nielson, Hanne
4 Scalas, Alceste
4 Tiezzi, Francesco
4 Zunino, Roberto
3 Alrahman, Yehia Abd
3 Bocchi, Laura
3 Boudol, Gérard
3 Cambronero, María Emilia
3 Chen, Tzu-Chun
3 Crafa, Silvia
3 Cristescu, Ioana Domnina
3 Cruz-Filipe, Luís
3 Curien, Pierre-Louis
3 de’Liguoro, Ugo
3 Deng, Yuxin
3 Faggian, Claudia
3 Ferrari, Gian Luigi
3 Gay, Simon J.
3 Giannini, Paola
3 Gorla, Daniele
3 Guanciale, Roberto
3 Kobayashi, Naoki
3 Laneve, Cosimo
3 Laurent, Olivier
3 Maffeis, Sergio
3 Nestmann, Uwe
3 Pfenning, Frank
3 Piccolo, Mauro
3 Sassone, Vladimiro
3 Valero, Valentín
3 Varacca, Daniele
3 Vasconcelos, Vasco Thudichum
2 Abadi, Martín
2 Almeida Matos, Ana
2 Atkey, Robert
2 Basile, Davide
2 Basu, Samik
2 Birkedal, Lars
2 Bonchi, Filippo
2 Bono, Viviana
2 Boreale, Michele
2 Bultan, Tevfik
2 Busi, Nadia
2 Castagna, Giuseppe
2 Cimoli, Tiziana
2 Drossopoulou, Sophia Chloe
2 Durier, Adrien
2 Fiadeiro, José Luiz
2 Focardi, Riccardo
2 Gadducci, Fabio
2 Ghilezan, Silvia
...and 259 more Authors

Citations by Year