×
Compute Distance To:
Author ID: honda.kohei Recent zbMATH articles by "Honda, Kohei"
Published as: Honda, Kohei

Publications by Year

Citations contained in zbMATH Open

43 Publications have been cited 601 times in 355 Documents Cited by Year
On reduction-based process semantics. Zbl 0871.68122
Honda, Kohei; Yoshida, Nobuko
82
1995
Multiparty asynchronous session types. Zbl 1295.68150
Honda, Kohei; Yoshida, Nobuko; Carbone, Marco
82
2008
Types for dyadic interaction. Zbl 0939.68642
Honda, Kohei
41
1993
Structured communication-centred programming for web services. Zbl 1187.68064
Carbone, Marco; Honda, Kohei; Yoshida, Nobuko
40
2007
Strong normalisation in the \(\pi\)-calculus. Zbl 1101.68705
Yoshida, Nobuko; Berger, Martin; Honda, Kohei
29
2004
Multiparty asynchronous session types. Zbl 1426.68047
Honda, Kohei; Yoshida, Nobuko; Carbone, Marco
28
2016
Sequentiality and the \(\pi\)-calculus. Zbl 0981.68037
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
23
2001
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
Full abstraction in a subtyped pi-calculus with linear types. Zbl 1343.68165
Demangeon, Romain; Honda, Kohei
15
2011
Structured interactional exceptions in session types. Zbl 1160.68459
Carbone, Marco; Honda, Kohei; Yoshida, Nobuko
13
2008
Game theoretic analysis of call-by-value computation. Zbl 1401.68032
Honda, Kohei; Yoshida, Nobuko
12
1997
Monitoring networks through multiparty session types. Zbl 1359.68215
Bocchi, Laura; Chen, Tzu-Chun; Demangeon, Romain; Honda, Kohei; Yoshida, Nobuko
12
2017
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
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
The two-phase commitment protocol in an extended \(\pi\)-calculus. Zbl 1260.68258
Berger, Martin; Honda, Kohei
9
2003
A calculus of global interaction based on session types. Zbl 1277.68171
Carbone, Marco; Honda, Kohei; Yoshida, Nobuko
9
2007
An exact correspondence between a typed pi-calculus and polarised proof-nets. Zbl 1203.68114
Honda, Kohei; Laurent, Olivier
8
2010
Nested protocols in session types. Zbl 1364.68281
Demangeon, Romain; Honda, Kohei
7
2012
Genericity and the \(\pi\)-calculus. Zbl 1079.68064
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
7
2005
Replication in concurrent combinators. Zbl 0942.03510
Honda, Kohei; Yoshida, Nobuko
6
1994
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
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
5
2007
An observationally complete program logic for imperative higher-order functions. Zbl 1358.68071
Honda, Kohei; Yoshida, Nobuko; Berger, Martin
5
2014
Elementary structures in process theory. I: Sets with renaming. Zbl 0968.68112
Honda, Kohei
4
2000
Descriptive and relative completeness of logics for higher-order functions. Zbl 1133.03333
Honda, Kohei; Berger, Martin; Yoshida, Nobuko
4
2006
From process logic to program logic. Zbl 1323.03034
Honda, Kohei
3
2004
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
2
2005
Logical reasoning for higher-order functions with local state. Zbl 1161.68031
Yoshida, Nobuko; Honda, Kohei; Berger, Martin
2
2008
Processes and games. Zbl 1272.68305
Honda, Kohei
2
2004
Completeness and logical full abstraction in modal logics for typed mobile processes. Zbl 1155.68472
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
2
2008
Process types as a descriptive tool for interaction. Control and the pi-calculus. Zbl 1416.68039
Honda, Kohei; Yoshida, Nobuko; Berger, Martin
2
2014
On reduction-based process semantics. Zbl 0941.68622
Honda, Kohei; Yoshida, Nobuko
1
1995
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
12
2017
Multiparty asynchronous session types. Zbl 1426.68047
Honda, Kohei; Yoshida, Nobuko; Carbone, Marco
28
2016
On asynchronous eventful session semantics. Zbl 1361.68170
Kouzapas, Dimitrios; Yoshida, Nobuko; Hu, Raymond; Honda, Kohei
6
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
10
2015
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
Nested protocols in session types. Zbl 1364.68281
Demangeon, Romain; Honda, Kohei
7
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
15
2011
A theory of design-by-contract for distributed multiparty interactions. Zbl 1287.68121
Bocchi, Laura; Honda, Kohei; Tuosto, Emilio; Yoshida, Nobuko
18
2010
An exact correspondence between a typed pi-calculus and polarised proof-nets. Zbl 1203.68114
Honda, Kohei; Laurent, Olivier
8
2010
Global principal typing in partially commutative asynchronous sessions. Zbl 1234.68304
Mostrous, Dimitris; Yoshida, Nobuko; Honda, Kohei
20
2009
Multiparty asynchronous session types. Zbl 1295.68150
Honda, Kohei; Yoshida, Nobuko; Carbone, Marco
82
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
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
5
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
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
From process logic to program logic. Zbl 1323.03034
Honda, Kohei
3
2004
Processes and games. Zbl 1272.68305
Honda, Kohei
2
2004
Genericity and the \(\pi\)-calculus. Zbl 1029.68039
Berger, Martin; Honda, Kohei; Yoshida, Nobuko
9
2003
The two-phase commitment protocol in an extended \(\pi\)-calculus. Zbl 1260.68258
Berger, Martin; Honda, Kohei
9
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
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
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
21
1999
Game theoretic analysis of call-by-value computation. Zbl 1401.68032
Honda, Kohei; Yoshida, Nobuko
12
1997
On reduction-based process semantics. Zbl 0871.68122
Honda, Kohei; Yoshida, Nobuko
82
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
Types for dyadic interaction. Zbl 0939.68642
Honda, Kohei
41
1993
On reduction-based process semantics. Zbl 0925.68304
Honda, Kohei; Yoshida, Nobuko
5
1993
all top 5

Cited by 399 Authors

39 Yoshida, Nobuko
18 Dezani-Ciancaglini, Mariangiola
16 Pérez, Jorge A.
14 Honda, Kohei
14 Sangiorgi, Davide
12 Padovani, Luca
12 Pfenning, Frank
11 Murawski, Andrzej S.
11 Tuosto, Emilio
9 Castellani, Ilaria
9 Francalanza, Adrian
9 Hennessy, Matthew C. B.
9 Hirschkoff, Daniel
9 Zavattaro, Gianluigi
7 Lanese, Ivan
7 Toninho, Bernardo
6 Bartoletti, Massimo
6 Berger, Martin J.
6 Bravetti, Mario
6 Caires, Luís
6 Carbone, Marco
6 Coppo, Mario
6 De Nicola, Rocco
6 Merro, Massimo
6 Montesi, Fabrizio
6 Tzevelekos, Nikos
5 Barbanera, Franco
5 Bugliesi, Michele
5 de’Liguoro, Ugo
5 Demangeon, Romain
5 Fu, Yuxi
5 Gardner, Philippa Anne
5 Guanciale, Roberto
5 Rathke, Julian
5 Vasconcelos, Vasco Thudichum
5 Vieira, Hugo Torres
4 Amadio, Roberto M.
4 Bocchi, Laura
4 Bruni, Roberto
4 Capecchi, Sara
4 Cruz-Filipe, Luís
4 Diaz, Gregorio
4 Fournet, Cédric
4 Giachino, Elena
4 Giannini, Paola
4 Jeffrey, Alan S. A.
4 Koutavas, Vasileios
4 Kouzapas, Dimitrios
4 Loreti, Michele
4 Madiot, Jean-Marie
4 Melgratti, Hernán
4 Mostrous, Dimitris
4 Nielson, Flemming
4 Pugliese, Rosario
4 Reus, Bernhard
4 Riis Nielson, Hanne
4 Scalas, Alceste
4 Tiezzi, Francesco
4 Zunino, Roberto
3 Aceto, Luca
3 Alrahman, Yehia Abd
3 Bonchi, Filippo
3 Boudol, Gérard
3 Cambronero, María Emilia
3 Charlton, Nathaniel
3 Chen, Tzu-Chun
3 Crafa, Silvia
3 Cristescu, Ioana Domnina
3 Curien, Pierre-Louis
3 Dardha, Ornela
3 Das, Ankush
3 Deng, Yuxin
3 Faggian, Claudia
3 Ferrari, Gian Luigi
3 Gay, Simon J.
3 Gorla, Daniele
3 Horne, Ross
3 Ingólfsdóttir, Anna
3 Kiefer, Stefan
3 Kobayashi, Naoki
3 Laneve, Cosimo
3 Lange, Julien
3 Laurent, Olivier
3 Mezzina, Claudio Antares
3 Mordido, Andreia
3 Murgia, Maurizio
3 Nestmann, Uwe
3 Pantović, Jovanka
3 Piccolo, Mauro
3 Sassone, Vladimiro
3 Sobociński, Paweł
3 Valero, Valentín
3 Varacca, Daniele
2 Abadi, Martín
2 Almeida Matos, Ana
2 Atkey, Robert
2 Basile, Davide
2 Basu, Samik
2 Birkedal, Lars
2 Bono, Viviana
...and 299 more Authors

Citations by Year