Abr96

Samson Abramsky, Retracting Some Paths in Process Algebra, Proceedings of the 7th International Conference on Concurrency Theory, p.1-17, August 26-29, 1996

AGN96

S. Abramsky, S. Gay, and R. Nagarajan. Specification structures and propositions-as-types for concurrency. Springer-Verlag, 1996.

BDPLT96

R. Borgia, P. Degano, C. Priami, L. Leth and B. Thomsen. Understanding Mobile Agents via a non-interleaving semantics for Facile. Technical report ECRC-96-4, 1996.

Gal94

F. Gallo. Agent-Tcl: A white paper. Draft document, posted to the safe-tcl@cs.utk.edu mailing list, December 1994.

GMP89

Alessandro Giacalone , Prateek Mishra , Sanjiva Prasad, Facile: a symmetric integration of concurrent and functional programming, International Journal of Parallel Programming, v.18 n.2, p.121-160, Apr. 1990  [doi>10.1007/BF01491213]

Gos95

J. Gosling and H. McGilton. The Java language environment. White paper, May 1995. Sun Microsystems, 2550 Garcia Avenue, Mountain View, CA 94043, USA.

Inm88

INMOS, Ltd. OCCAM-2 Reference Manual, Prentice-Hall International, Englewood Cliffs, NJ, 1988.

Mil89

R. Milner, Communication and concurrency, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989

MPW92

Robin Milner , Joachim Parrow , David Walker, A calculus of mobile processes, II, Information and Computation, v.100 n.1, p.41-77, Sept. 1992  [doi>10.1016/0890-5401(92)90009-5]

MTH90

Robin Milner , Mads Tofte , Robert Harper, The definition of Standard ML, MIT Press, Cambridge, MA, 1990

Nie90

Oscar Nierstrasz , Michael Papathomas, Viewing object as patterns of communicating agents, Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, p.38-43, September 1990, Ottawa, Canada

NN93

Flemming Nielson , Hanne Riis Nielson, From CML to Process Algebras (Extended Abstract), Proceedings of the 4th International Conference on Concurrency Theory, p.493-508, August 23-26, 1993

NN94

Hanne Riis Nielson , Flemming Nielson, Higher-order concurrent programs with finite communication topology (extended abstract), Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.84-97, January 16-19, 1994, Portland, Oregon, United States  [doi>10.1145/174675.174538]

PT95a

B. Pierce and D. Turner. PICT Language Definition. University of Indiana, December 1995. Available at URL http://www.cs.indiana.edu/hyplan/pierce/ftp/pict/.

PT95b

Benjamin C. Pierce, Concurrent Objects in a Process Calculus, Proceedings of the International Workshop on Theory and Practice of Parallel Programming, p.187-215, November 07-09, 1994

Rep92

John Hamilton Reppy, Higher-order concurrency, Cornell University, Ithaca, NY, 1992

Smo95

G. Smolka. The definition of kernal Oz, in Constraints: Basic and Trends", Lecture Notes in Computer Science 910, Springer Verlag, 1995.

Tho89

B. Thomsen, A calculus of higher order communicating systems, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.143-154, January 11-13, 1989, Austin, Texas, United States  [doi>10.1145/75277.75290]

Tho93

B. Thomsen. A Second Generation Calculus for Higher Order Processes. Acta Informatica 30, pages 1-59, 1993. Preliminary version in Technical Report 89/04, Imperial College 1989.

Tho94

B. Thomsen. Polymorphic Sorts and Types for Concurrent Functional Programs. In Proceedings of the 6th International Workshop on the Implementation of Functional Languages (Ed. J. Glauert), UEA Norwich, UK, 1994.

Tho95

Bent Thomsen, A theory of higher order communicating systems, Information and Computation, v.116 n.1, p.38-57, Jan. 1995  [doi>10.1006/inco.1995.1004]

TKLC95

B. Thomsen, F. Knabe, L. Leth and P.-Y. Chevalier. Mobile Agents Set to Work, In Communications International, July, 1995. Preliminary version available as URL http://www.ecrc.de/research/dc/msa/.

TLK96

Bent Thomsen , Lone Leth , Tsung-Min Kuo, A Facile Tutorial, Proceedings of the 7th International Conference on Concurrency Theory, p.278-298, August 26-29, 1996

Whi94

J. E. White. Telescript technology: The foundation for the electronic marketplace. General Magic white paper, 2465 Latham Street, Mountain View, CA 94040, 1994.

Chang-Hyun Jo, A seamless approach to the agent development, Proceedings of the 2001 ACM symposium on Applied computing, p.641-647, March 2001, Las Vegas, Nevada, United States

Chang-Hyun Jo , Allen J. Arnold, The Agent-based Programming Language: APL, Proceedings of the 2002 ACM symposium on Applied computing, March 11-14, 2002, Madrid, Spain

Bent Thomsen: colleagues