Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini and Nobuko Yoshida
Submitted [pdf]
Global Progress in Dynamically Merged Multiparty Sessions
Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca,
Mariangiola Dezani-Ciancaglini and Nobuko Yoshida
Submitted
[pdf]
Multiparty Asynchronous Session Types
Kohei Honda, Nobuko Yoshida and Marco Carbone
POPL'2008
[Link]
Structured Communication-Centred Programming for Web Serices
Marco Carbone, Kohei Honda and Nobuko Yoshida
ESOP'2007,
2007.
[pdf-file]
A Theoretical Basis of Communication-Centred Concurrent Programming
Marco Carbone, Kohei Honda, Nobuko Yoshida and Robin Milner
WCD-Working Note,
2006.
[pdf-file]
Addendum:
Subject Reduction with Inflation August 2003.
[ps-file]
Noninterference through Flow Analysis
Kohei Honda and Nobuko Yoshida, Revised in June 2004.
Journal of Functional Programming,
2005.
[abstract]
[ps-file]
Secure Information Flow as Typed Process Behaviour
(extended abstract)
Kohei Honda, Vasco Vasconcelos and Nobuko Yoshida
A revised version appeared in
Proc. of European Symposium on Programming (ESOP) 2000,
LNCS 1782, pp. 180--199, Springer, 2000.
[ps-file]
Secure Information Flow as Typed Process Behaviour
(full version)
Kohei Honda, Vasco Vasconcelos and Nobuko Yoshida
Mathematics and Computer Science Technical Report,
University of Leicester, 01/2000, January, 2000.
[ps-file]
Formalising Java RMI with Explicit Code Mobility
Alexander Ahern and Nobuko Yoshida
OOPSLA'05,
the 20th ACM SIGPLAN conference on Object-oriented programming,
systems, languages, and applications,
October 2005.
A full version appears in Journal of Theoretical Computer Scinence
[abstract]
[short version]
[full version]
[poster]
Formal Analysis of a Distributed Object-Oriented Language and Runtime
(full version)
Alexander Ahern and Nobuko Yoshida
Dec 2004. Department of Computing Technical Report 2005/01,
Imperial College London.
[full version]
SafeDpi: A Language for Controlling Mobile Code
(full version)
Matthew Hennessy, Julian Rathke and Nobuko Yoshida
Technical Report 02/2003, University of Sussex, Oct 2003.
Journal of ACM Acta Informatica, 2005.
Extended Abstract appeared in
Proc. of 7th International Conference,
Foundations of Software Science and
Computer Structures (FoSSaCs 2004)
[full version]
A Distributed Abstract Machine for Boxed Ambient Calculi
A. Phillips, N. Yoshida and S. Eisenbach.
Proceedings of the European Symposium on Programming, (ETAPS'04), LNCS, April 2004 (Barcelona, Spain). ©Springer.
[ps version]
Channel Dependent Types for
Higher-Order Mobile Processes (Part I)
Nobuko Yoshida
Extended Abstract appears in
Proc. of POPL'2004,
Proc. of 31th ACM Symposium on Principles of
Programming Languages, ACM Press, 2004.
[abstract]
[full version]
Assigning Types to Processes
(full version)
Nobuko Yoshida and Matthew Hennessy,
Journal of Information and Computation, 2004.
[abstract]
[ps-file]
Extended Abstract appeared in
Proc. LICS'00, the 15th Annual IEEE Symposium on
Logic and Computer Science, IEEE, June
[ps-file]
Early Long Version appeared as
Computer Science Technical Report,
University of Sussex, 02/99, November, 1999
[ps-file]
Dynamic Channel Screening in the Higher Order Pi-Calculus
(extended abstract)
Jose Luis Vivas and Nobuko Yoshida
Proceeding of
F-WAN, Foundations of Wide Area Network Computing
,
Electronic Notes in Theoretical Computer Science,
Elsevier Science, August 2002.
[abstract]
[ps-file]
Dynamic Channel Screening in the Higher Order Pi-Calculus
(full version)
Jose Luis Vivas and Nobuko Yoshida
May 2002. MCS Technical Report.
[ps-file]
Subtyping and Locality in Distributed Higher Order Mobile Processes
(extended abstract)
Nobuko Yoshida and Matthew Hennessy,
Proc. of CONCUR'99,
LNCS 1664, pp.557--573, Springer-Verlag, 1999.
[ps-file]
Subtyping and Locality in Distributed Higher Order Mobile Processes
(full version)
Nobuko Yoshida and Matthew Hennessy,
Computer Science Technical Report, University of Sussex, 01/99.
[ps-file]
An Observationally Complete Program Logic for Imperative Higher-Order Functions
(full version)
Kohei Honda, Nobuko Yoshida and Martin Berger
[ps-file]
An Observationally Complete Program Logic for Imperative Higher-Order Functions
(extended abstract)
20th Annual IEEE Symposium on
Logic in Computer Science (LICS 2005), 270--279.
[ps-file]
A Logical Analysis of Aliasing in Imperative Higher-Order Functions
(full version)
Martin Berger, Kohei Honda and Nobuko Yoshida
[pdf-file] (Journal of Functional Programming, 17 (4 and
5),
pages 473-546, 2007)
[ps-file] (Old Verion in April, 2005)
A Logical Analysis of Aliasing in Imperative Higher-Order Functions
(extended abstract)
Martin Berger, Kohei Honda and Nobuko Yoshida,
ICFP'05, 10th ACM-SIGPLAN International
Conference on Functional Programming (ICFP 05), ACM Press, 2005.
[ps-file]
Local State in Hoare Logic for Imperative Higher-Order Functions
(full version)
Nobuko Yoshida, Kohei Honda and Martin Berger
FoSSaCs, 2007.
[pdf-file] (September, 2007)
Descriptive and Relative Completeness for Higher-Order Functions
(full version)
Kohei Honda, Martin Berger and Nobuko Yoshida
[pdf-file] (February, 2006)
Completeness and Logical Full Abstraction in
Modal Logics for Typed Mobile Processes
Martin Berger, Kohei Honda and Nobuko Yoshida, To appear in
ICALP 2008
[Link]
Reference:
From Process Logic to Program Logic by Kohei Honda.
9th ACM-SIGPLAN International
Conference on Functional Programming (ICFP 04), ACM Press, 2004.
[ps-file]
Multiparty Asynchronous Session Types
Kohei Honda, Nobuko Yoshida and Marco Carbone
To appear in POPL'2008
[Link]
Two Session Typing Systems for Higher-Order Mobile Processes
Dimitris Mostrous and Nobuko Yoshida
Typed Lambda Calculi and Applications, 8th International
Conference, TLCA 2007, Paris, France, June 26-28, 2007,
Proceedings,
TLCA,
Springer,
Lecture Notes in Computer Science,
4583, pages 321-335, http://dx.doi.org/10.1007/978-3-540-73228-0_23,
2007.
[pdf-file]
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited - Two Systems for Higher-Order Session Communication.
Nobuko Yoshida and Vasco T. Vasconcelos.
In 1st International Workshop on Security and Rewriting Techniques (SecReT 2006), Electronic Notes in Theoretical Computer Science, 2006.
[pdf-file]
Session Types for Object-Oriented Languages
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida,
and Sophia Drossopoulou
Extended Abstract will appear in
the 20th European Conference on Object-Oriented Programming (ECOOP
2006), LNCS, Springer, July 2006.
[full version pdf-file]
[ohp]
Typed Event Structures and the pi-calculus
Daniele Varacca and
Nobuko Yoshida,
Extended Abstract appeared in MFPS 2006.
[full version pdf-file]
[extended abstract pdf-file]
A Distributed Object-Oriented Language with Session Types
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida,
Alexander Ahern and Sophia Drossopoulou.
Proceeding of TGC,
2005, pages 299-318,
Lecture Notes in Computer Science
volume 3705, 2005.
[ps-file]
Control in the Pi-Calculus
(full version)
Kohei Honda, Nobuko Yoshida and Martin Berger,
December 2004, Revised on December 2005 and June 2006
[ps-file]
Control in the Pi-Calculus
(extended abstract)
Kohei Honda, Nobuko Yoshida and Martin Berger,
Fourth ACM-SIGPLAN Continuation Workshop
(CW'04)
ACM, January, 2004
[ps-file]
Genericity and the Pi-Calculus
(extended abstract)
Martin Berger, Kohei Honda and Nobuko Yoshida
Proc. of 6th International Conference,
Foundations of Software Science and
Computer Structures (FoSSaCs 2003)
LNCS, Springer, 2003.
[abstract]
[ps-file]
Genericity and the Pi-Calculus
(full version)
Martin Berger, Kohei Honda and Nobuko Yoshida
Last update 19 March 2004.
To appear in ACM Journal of Acta Informatica, 2005.
[abstract]
[ps-file]
Type-Based Liveness Guarantee
in the Presence of Nontermination and Nondeterminism
(full version)
Nobuko Yoshida
April 2002. MCS Technical Report, 2002-20, University of Leicester.
[abstract]
[ps-file]
Linearity and Bisimulation (extended abstract)
Nobuko Yoshida, Kohei Honda and Martin Berger,
Proc. of 5th International Conference,
Foundations of Software Science and
Computer Structures (FoSSaCs 2002)
LNCS, Springer, 2002.
[abstract]
[ps-file]
Linearity and Bisimulation (full version)
Nobuko Yoshida, Kohei Honda and Martin Berger
J. Log. Algebr. Program.,
Volume 72,
Nonber 2,
2007,
207--238.
[ps-file]
Strong Normalisation in the Pi-Calculus
(full version)
Nobuko Yoshida, Martin Berger and Kohei Honda,
Revised August 2003. Journal of Information and Computation,
[abstract]
[ps-file]
The extended abstract appeared in
Proc. LICS'01, the 16th Annual IEEE Symposium on
Logic and Computer Science, IEEE, June, 2001.
An early version appeared as MCS Technical Report, 2001/09. March, 2001.
Sequentiality and the Pi-Calculus
(extended abstract)
Martin Berger, Kohei Honda and Nobuko Yoshida.
Proc. of TLCA 2001,
the 5th
International Conference on
Typed Lambda Calculi and Applications,
LNCS, Springer, May, 2001.
[abstract]
[ps-file]
Sequentiality and the Pi-Calculus
(full version)
Martin Berger, Kohei Honda and Nobuko Yoshida.
[ps-file]
Related Notes by Kohei Honda
Notes on Linear Typing for Free Output
[ps-file]
Graph Types for Monadic Mobile Processes: (extended abstract)
Nobuko Yoshida,
In Proc. of 16th FST/TCS, LNCS 1180, pp.371-386,
Springer-Verlag, Hyderabad, India, 1996.
[ps-file]
Graph Types for Monadic Mobile Processes:
(full version)
Nobuko Yoshida, LFCS Technical Report, ECS-LFCS-96-350, 1996.
[ps,dvi-files]
Minimality and Separation Results on
Asynchronous Mobile Processes:
representability theorem by concurrent combinators
(extended abstract)
Nobuko Yoshida,
Proc. of CONCUR'98,
LNCS,
Springer-Verlag, Nice, France, 8--11 September, 1998.
The first version in October 1997, Revised in March, June 1998.
[ps-file]
Graph Notation for Concurrent Combinators:
Nobuko Yoshida,
In Proc. of TPPP'94, Proceedings of Theory and Practice
of Parallel Programming,
Lecture Notes in Computer
Science 907, pp.393--412, Springer-Verlag, May, 1995.
[ps-file]
Replication in Concurrent Combinators:
Kohei Honda and Nobuko Yoshida,
In Pro. of TACS'94,
Lecture Notes in Computer Science, Vol. 789, pp.
786-805, Springer-Verlag, 1994.
[ps-file]
Combinatory Representation of Mobile Processes:
Kohei Honda and Nobuko Yoshida,
In Proc. of POPL'94, Proc. of 21st ACM Symposium on Principles of
Programming Languages,
ACM Press, 1994.
[ps-file]
Game-Theoretic Analysis of Call-by-Value Computation:
(extended abstract)
Kohei Honda and Nobuko Yoshida,
Proc. of ICALP'97, LNCS 1256, pp.225--236,
Springer-Verlag, Borogna, Italy, July, 1997.
[ps-file]
On Reduction-Based Process Semantics:
Kohei Honda and Nobuko Yoshida,
Theoretical Computer Science, 152(2), pp. 437-486, 1995.
[ps-file]
On Reduction-Based Process Semantics: (extended abstract)
Kohei Honda and Nobuko Yoshida,
In Proc. of FST/TCS'13, LNCS 761, pp. 373--387,
Springer-Verlag, December, 1993.
[ps-file]
Optimal Reduction in Weak lambda-calculus with Shared Environments:
Nobuko Yoshida,
In Proc. of FPCA'93,
Functional Programming and Computer Architecture,
pp.243--252, ACM SIGACT-SIGPLAN,
June, 1993.
[ps-file]
Research Papers (Refereed Japanese Journal)
Combinatory Representation of Mobile Processes,
Nobuko Yoshida,
In Journal of Computer Software,
pp.23--46, Vol.13, No.4, Japan Society for
Software Science and Technology, September, 1996.
[ps-file]
pi-calculus and its semantics,
Nobuko Yoshida, Kubo Makoto and Kohei Honda,
In Journal of Information Processing Society,
pp.19--26, Vol.37, No.4, April, 1996.
[ps-file]
Optimal Reduction in Weak lambda-calculus with Shared
Environments,
Nobuko Yoshida,
In Journal of Computer Software,
pp.3--18, Vol.11, No.6, Japan Society for
Software Science and Technology, November, 1994.
[ps-file]
Reduction-based Semantics for Concurrent Calculi
The best technical paper of the year,
Kohei Honda and Nobuko Yoshida,
In Journal of Computer Software,
pp.2--20, Vol.11, No.5, Japan Society for
Software Science and Technology, September, 1994.
[ps-file]
Graph Types for Monadic Mobile Processes
Nobuko Yoshida,
In
Proceeding of Concurrency Theory and Applications'96,
Workshop of Research Institute for Mathematical Sciences,
Kyoto University, Japan, Editor: Irek Ulidowski,
No.996, pp.22--24, July, 1996.
Asynchronous nu-calculus and Interaction-Based Programming
Methodologies,
Kohei Honda, Makoto Kubo, Takeuchi Kaku, Vasco Vasconcelos and Nobuko Yoshida,
In Research Report of Institute of Electronics, Information
and Communication Engineers, Institute of Electronics,
Information and Communication Engineers, 1994.
Reduction Theories for Concurrency
Kohei Honda and Nobuko Yoshida,
In
Proceeding of Concurrency Theory and Applications'94,
Workshop of Research Institute for Mathematical Sciences,
Kyoto University, Japan, July, 1994.
Theory and Practice of Reduction-based Semantics,
Kohei Honda and Nobuko Yoshida,
In Research Report of Information Processing Society,
93(46), Information Processing Society, 1993.
On Reduction-based Process Semantics
Kohei Honda and Nobuko Yoshida,
In Research Report of
Institute of Electronics,
Information and Communication Engineers,
92(493), Information Processing Society, 1993.
Topics: FPCA'93
Nobuko Yoshida,
In Journal of Computer Software,
pp.57--61, Vol. 11, No. 1,
Japan Society for
Software Science and Technology,
1996.
lambda f-Calculus,
Nobuko Yoshida, Kohei Honda and Mario Tokoro,
Proc. Ninth Annual Conference of Japanese Society of
Software Science and Technology, Japanese Society of Software
Science and Technology, 1992.