email: ny@dcs.ed.ac.uk phone: +44 131 650 4889 f a x: +44 131 667 7209
My interest is to give a theoretical framework which brings process calculi and functional calculi together by recapturing the notion of functions in concurrency. I hope that this will give rise to not only generalisation of functions in concurrent computing, but also inheritance of rigours and techniques developed in the functional paradigm to the concurrent one.
Minimality and Separation Results on
Asynchronous Mobile Processes:
Minimality and Separation Results on
Asynchronous Mobile Processes:
representability theorem by concurrent combinators
(full version)
Nobuko Yoshida,
The first version in October 1997. Revised in March 1998.
Computer Science Technical Report, University of Sussex, 05/98.
[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]
Game-theoretic analysis of call-by-value Computation:
(full version)
Kohei Honda and Nobuko Yoshida, Feb 1997, revised December 1997.
To appear in Theoretical Computer Science,
[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]
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]
On Reduction-Based Process Semantics:
Kohei Honda and Nobuko Yoshida,
Theoretical Computer Science, 152(2), pp. 437-486, 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]
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]
Combinatory Representation of Mobile Processes,
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
Asynchronous nu-calculus and Interaction-Based Programming
Methodologies,
Kohei Honda, Makoto Kubo, Takeuchi Kaku, Vasco Vasconcelos and Nobuko Yoshida
(in Japanese),
In Research Report of Institute of Electronics, Information
and Communication Engineers, Institute of Electronics,
Information and Communication Engineers, 1994.
Reduction Theories for Concurrent
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 Japanese)
In Research Report of
Institute of Electronics,
Information and Communication Engineers,
92(493), Information Processing Society, 1993.
Topics: FPCA'93
Nobuko Yoshida, (in Japanese)
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.