[Boudol 92]
G. Boudol:
Asynchrony and the pi-calculus,
INRIA Report 1702,
INRIA Sophia-Antipolis, 1992.
[GiaMisPra 89]
A. Giacalone, P. Mishra, and S. Prasad:
Facile: A Symmetric Integration of Concurrent and
Functional Programming,
IJPP, Vol 18, No 2, p 121-160. (1989)
[GlaKenSle 91]
J.R.W. Glauert, J.R. Kennaway, and M.R. Sleep:
Dactl: An Experimental Graph Rewriting Language,
Proceedings, 4th International Workshop on Graph Grammars, Bremen, 1990.
Springer LNCS, Vol. 532, Springer-Verlag, 1991.
(Download Version)
[Glauert 92a]
* J.R.W. Glauert:
Asynchronous Mobile Processes and Graph Rewriting,
Proceedings PARLE'92, Champs Sur Marne, Paris, June 1992,
Springer LNCS, Vol. 605, 1992.
(Download Version)
[Glauert 92b]
* J.R.W. Glauert:
Parallel Implementation of Functional Languages Using Small Processes,
Proceedings, International Workshop on Parallel Implementation of Functional Languages, RTWH Aachen, September 1992.
(Download Version)
[GlaLetTho 93]
* J.R.W. Glauert, L. Leth, and B. Thomsen:
A New Process Model for Functions,
in [TGR 93], Chapter 18, Wiley, 1993.
(Download Version)
[GlaKha 94a]
* J.R.W. Glauert and Z. Khasidashvili:
Relative normalization in
orthogonal expression reduction systems. International workshop on
conditional (and typed) term rewriting systems, CTRS'94, Springer LNCS,
vol. 968, N. Dershowitz, N. Lindenstrauss eds. Jerusalem, p144, 1994.
(Download Version)
[GlaKha 94b]
* J.R.W. Glauert and Z. Khasidashvili:
Minimal and Optimal relative
normalization in orthogonal expression reduction systems. Report
SYS-C94-06. UEA Norwich, 1994.
(Download Version)
[GlaKhaLetTho 95]
* J.R.W. Glauert, Z. Khasidashvili, L. Leth, and B. Thomsen:
Syntax and Semantics of the pi^pi-Calculus,
Report SYS-C95-10. UEA Norwich, 1995.
(Download Version)
[GlaKha 96a]
* J.R.W. Glauert and Z. Khasidashvili: Relative normalization in
Deterministic Residual Structures. In: Proc. of the 19th
International Colloquium on
Trees in Algebra and Programming, CAAP'96, Springer LNCS, Vol. 1059,
p180, 1996.
(Download Version)
[GlaKha 96b]
* J.R.W. Glauert and Z. Khasidashvili: Relative normalization in stable deterministic residual structures.
Report SYS-C96-01, UEA Norwich, 1996.
(Download Version)
[Glauert 96]
* J.R.W. Glauert:
Parallel Implementation through Object Graph Rewriting,
Proceedings, International Workshop on Parallel Implementation of Functional Languages, Bonn, September 1996.
(Download Version)
[GlaKha 96c]
* J.R.W. Glauert and Z. Khasidashvili: Minimal relative normalization
in orthogonal expression reduction systems. In Proc. of the 16th
International Conference on Foundations of Software Technology and
Theoretical Computer Science, FST&TCS'96, Springer LNCS, to appear.
(Download Version)
[Green 96]
* D. Green:
Parallel Implementation of an Object Graph Rewriting Model,
CMP-3P4Y Project, UEA Norwich, 1996.
[HonTok 91]
K. Honda and M. Tokoro:
An object calculus for asynchronous communication,
Proc. ECOOP 91, Springer LNCS, Vol 512, p133, 1991.
[KenKhaGlaSle 96]
* J.R. Kennaway, Z. Khasidashvili, J.R.W. Glauert, and M.R. Sleep:
Transfinite abstract reduction,
In Preparation, 1996.
[Khasidashvili 94]
Z. Khasidashvili:
On higher order recursive program schemes,
Proc. CAAP'94, Springer LNCS, Vol. 787, 1994.
[KhaOos 95a]
* Z. Khasidashvili and V. van Oostrom: Context-sensitive conditional
expression reduction systems. In proc. of the International Workshop on
Graph Rewriting and Computation, SEGRAGRA'95. In Electronic Notes in
Computer Science, Elsevier Science B.V., p141, 1995.
(Download Version)
[KhaOos 95b]
* Z. Khasidashvili and V. van Oostrom: Context-sensitive Conditional
Rewrite Systems. Report SYS-C95-06. UEA Norwich,
1995.
(Download Version)
[KhaGla 96a]
* Z. Khasidashvili and J. R. W. Glauert: Discrete Normalization and Standardization in
Deterministic Residual Structures. In proc. of the 5th
International Conference on Algebraic and Logic Programming, ALP'96,
Springer LNCS, vol. 1139, p135, 1996.
(Download Version)
[KhaGla 96b]
* Z. Khasidashvili and J.R.W. Glauert: Discrete normalization and standardization
in stable deterministic residual structures. Report SYS-C96-02, UEA,
Norwich, 1996.
(Download Version)
[KhaGla 96c]
* Z. Khasidashvili and J. R. W. Glauert: Zig-zag and extraction families
in stable non-duplicating Deterministic Residual Structures. Submitted.
(Download Version)
[Milner 91]
R. Milner:
The Polyadic pi-Calculus: A Tutorial,
Technical Report ECS-LFCS-91-180, Edinburgh University. 1991.
[Milner 92]
R. Milner:
Functions as processes,
Mathematical Structures in Comp. Science, Vol 2, p119, 1992.
[TGR 93]
M.R. Sleep, M.J. Plasmeijer, and M.C.J.D. van Eekelen (eds):
Term Graph Rewriting: Theory and Practice, Wiley, 1993.