| Strong Normalisation in the π-Calculus N Yoshida, M Berger, K Honda Information and Computation 191 (2), 145-202, 2004 | 167 | 2004 |
| Strong Normalisation in the π-Calculus N Yoshida, M Berger, K Honda Information and Computation 191 (2), 145-202, 2004 | 167 | 2004 |
| Strong Normalisation in the pi-Calculus N Yoshida, M Berger, K Honda Information & Computation 191 (2), 145-202, 2004 | 167 | 2004 |
| The two-phase commitment protocol in an extended π-calculus M Berger, K Honda Electronic Notes in Theoretical Computer Science 39 (1), 21-46, 2003 | 116 | 2003 |
| Sequentiality and the π-calculus M Berger, K Honda, N Yoshida Typed Lambda Calculi and Applications: 5th International Conference, TLCA …, 2001 | 109 | 2001 |
| Sequentiality and the π-calculus M Berger, K Honda, N Yoshida Typed Lambda Calculi and Applications, 29-45, 2001 | 109 | 2001 |
| An observationally complete program logic for imperative higher-order functions K Honda, N Yoshida, M Berger 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 270-279, 2005 | 75 | 2005 |
| Basic Theory of Reduction Congruence forTwo Timed Asynchronous π-Calculi M Berger CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004 | 58 | 2004 |
| Towards abstractions for distributed systems M Berger Diss. Imperial College, Deptartment of Computing, 2002 | 51 | 2002 |
| Genericity and the pi-calculus M Berger, K Honda, N Yoshida FoSSaCS, 103-119, 2003 | 45* | 2003 |
| Genericity and the π-calculus M Berger, K Honda, N Yoshida Acta Informatica 42 (2), 83-141, 2005 | 43 | 2005 |
| Genericity and the π-calculus M Berger, K Honda, N Yoshida Acta Informatica 42, 83-141, 2005 | 43 | 2005 |
| Control in the π-calculus K Honda, N Yoshida, M Berger Proc. Fourth ACM-SIGPLAN Continuation Workshop (CW) 4, 2004 | 43 | 2004 |
| Logical Reasoning for Higher-Order Functions with Local State N Yoshida, K Honda, M Berger Logical Methods in Computer Science 4 (2), 2008 | 42 | 2008 |
| Logical reasoning for higher-order functions with local state N Yoshida, K Honda, M Berger Foundations of Software Science and Computational Structures: 10th …, 2007 | 42 | 2007 |
| Logical reasoning for higher-order functions with local state N Yoshida, K Honda, M Berger Foundations of Software Science and Computational Structures: 10th …, 2007 | 42 | 2007 |
| Genericity and the pi-calculus M Berger, K Honda, N Yoshida FoSSaCS, 103-119, 2003 | 41 | 2003 |
| A logical analysis of aliasing in imperative higher-order functions M Berger, K Honda, N Yoshida Proceedings of the tenth ACM SIGPLAN international conference on Functional …, 2005 | 36 | 2005 |
| Linearity and bisimulation N Yoshida, K Honda, M Berger Foundations of Software Science and Computation Structures: 5th …, 2002 | 36 | 2002 |
| Linearity and bisimulation N Yoshida, K Honda, M Berger Foundations of Software Science and Computation Structures, 1-12, 2002 | 36 | 2002 |
Nobuko YoshidaDepartment of Computing, Imperial College LondonVerified email at doc.ic.ac.uk
