\begin{thebibliography}{10}

\bibitem{kim90:_art_human_comput_inter_desig}
S.~Kim.
\newblock {\em The Art of Human Computer Interface Design}, chapter
  Interdisciplinary Collaboration, pages 31--45.
\newblock Addison Wesley, 1990.

\bibitem{scaife94:_inter_collab}
M.~Scaife, E.~Curtis, and C.~Hill.
\newblock Interdisciplinary collaboration: a case study of software development
  for fashion designers.
\newblock {\em Interacting with Computers}, 6(4):395--410, 1994.

\bibitem{paxson97:_measur_inter}
Vern Paxson.
\newblock {\em Measurement in the Internet}.
\newblock PhD thesis, University of California, Berkeley, 1997.

\bibitem{Mil89:CommunicationConcurrency}
R.~Milner.
\newblock {\em Communication and Concurrency}.
\newblock Prentice-Hall, 1989.

\bibitem{Hoa85:CommunicatingSequential}
C.~A.~R. Hoare.
\newblock {\em Communicating Sequential Processes}.
\newblock Prentice-Hall, 1985.

\bibitem{GLT:ProofsTypes}
Jean-Yves Girard, Yves Lafont, and Paul Taylor.
\newblock {\em Proofs and Types}, volume~7 of {\em Cambridge Tracts in
  Theoretical Computer Science}.
\newblock Cambridge University Press, 1989.

\bibitem{MTH90:DefinitionStandard}
Robin Milner, Mads Tofte, and Robert Harper.
\newblock {\em The Definition of Standard {ML}}.
\newblock {MIT} Press, 1990.

\bibitem{PT97:Pict}
B.C. Pierce and D.N. Turner.
\newblock Pict: A programming language based on the pi-calculus.
\newblock Technical Report CSCI 476, Computer Science Department, Indiana
  University, 1997.
\newblock To appear in {\em Proof, Language and Interaction: Essays in Honour
  of Robin Milner}, G. Plotkin, C. Stirling, and M. Tofte, eds, MIT Press.

\bibitem{Rep91:HigherorderConcurrent}
J.~Reppy.
\newblock A higher-order concurrent langauge.
\newblock In {\em Proc. {SIGPLAN} 91}, pages 294--305, 1991.

\bibitem{MPW92:CalculusMobile}
R.~Milner, J.~Parrow, and D.~Walker.
\newblock A calculus of mobile proceses.
\newblock {\em Inform. and Comput.}, 100(1):1--77, 1992.

\bibitem{CG97:MobileAmbients}
Luca Cardelli and Andrew~D. Gordon.
\newblock Mobile ambients.
\newblock Unpublished manuscript, 1997.

\bibitem{Sew97:GlobalLocal}
Peter Sewell.
\newblock Global/local subtyping for a distributed $\pi$-calculus.
\newblock Technical Report 435, Computer Laboratory, University of Cambridge,
  1997.

\bibitem{RH97:DistributedProcesses}
J.~Riely and M.~Hennessy.
\newblock Distributed processes and location failures.
\newblock Technical Report 2/97, Univ. Sussex, 1997.
\newblock Also presented at ICALP '97.

\bibitem{Mog91:NotionsComputation}
E.~Moggi.
\newblock Notions of computation and monad.
\newblock {\em Inform. and Comput.}, 93:55--92, 1991.

\bibitem{Wad90:ComprehendingMonads}
Philip Wadler.
\newblock Comprehending monads.
\newblock In {\em Proc. 1990 ACM Conf. Lisp and Functional Programming}, pages
  61--78, 1990.

\bibitem{HJW92:ReportFunctional}
P.~Hudak, S.~L. {Peyton Jones}, P.~Wadler, et~al.
\newblock A report on the functional language {Haskell}.
\newblock {\em SIGPLAN Notices}, 1992.

\bibitem{GA98:CalculusCryptographic}
A.~Gordon and M.~Abadi.
\newblock A calculus for cryptographic protocols: The spi calculus.
\newblock Research Report 149, Digital Equipment Corporation Systems Research
  Center, 1998.
\newblock To appear in \emph{Information and Computation}.

\bibitem{Gor97:CalculusCryptographic}
Andrew~D. Gordon.
\newblock A calculus for cryptographic protocols: The spi calculus.
\newblock In {\em Proc. ACM Conf. on Computer and Communications Security},
  pages 36--47. {ACM} Press, 1997.

\bibitem{Gor97:NominalCalculi}
Andrew~D. Gordon.
\newblock Nominal calculi for security and mobility.
\newblock In {\em Proc. {DARPA} Workshop on Foundations for Secure Mobile
  Code}, pages 10--14, 1997.

\bibitem{Gir87:LinearLogic}
J.-Y. Girard.
\newblock Linear logic.
\newblock {\em Theoret. Comput. Sci.}, 50:1--102, 1987.

\bibitem{BBPH93:TermCalculus}
N.~Benton, G.~Bierman, V.~de~Paiva, and M.~Hyland.
\newblock A term calculus for intuitionistic linear logic.
\newblock In {\em Proc. Int. Conf. Typed Lambda Calculi and Applications},
  number 664 in LNCS. Springer-Verlag, 1993.

\bibitem{Ben95:MixedLinear}
N.~Benton.
\newblock A mixed linear and non-linear logic: Proofs, terms and models.
\newblock In {\em Proc. Computer Science Logic '94}, number 933 in LNCS.
  Springer-Verlag, 1995.

\bibitem{deering94:_aen_archit_wide_area_multic_routin}
S.~Deering, D.~Estrin, D.~Farinacci, V.~Jacobson, C.-G. Liu, and L.~Wei.
\newblock An architecture for wide-area multicast routing.
\newblock In {\em Proceedings ACM SIGCOMM}, pages 126--135, London, UK, August
  1994. ACM.

\bibitem{gunter:_switc_activ_networ_archit}
Carl~A. Gunter, Scott~M. Nettles, and Jonathan~M. Smith.
\newblock The switchware active network architecture.
\newblock To be published in IEEE Network special issue on Active Nets.

\bibitem{hicks:_plan}
Michael Hicks, Pankaj Kakkar, Jonathan~T. Moore, Carl~A. Gunter, and Scott
  Nettles.
\newblock Plan: A programming language for active networks.
\newblock submitted to PLDI'98.

\bibitem{yemini96:_towar_progr_networ}
Y.~Yemini and S.~da~Silva.
\newblock Towards programmable networks.
\newblock In {\em IFIP/IEEE International Workshop on Distributed Systems:
  Operations and Management,}, L'Aquila, Italy, October 1996.

\bibitem{wetherall98:_aents}
David~J. Wetherall, John Guttag, and David~L. Tennenhouse.
\newblock Ants: a toolkit for building and dynamically deploying network
  protocols.
\newblock In {\em Proceedings of first IEEE Conference on Open Architectures
  for Signalling}, San Francisco, Ca, April 1998.

\bibitem{bhattacharjee97:_aen_archit_activ_networ}
Samrat Bhattacharjee, Ken Calvert, and Ellen~W. Zegura.
\newblock An architecture for active networking.
\newblock In {\em High Performance Networking (HPN'97)}, White Plains, NY,,
  April 1997.

\bibitem{jackson97:_smart_packet}
Alden~W. Jackson and Craig Partridge.
\newblock Smart packets.
\newblock Presented at 2nd Active Nets Workshop, March 1997.

\bibitem{bershad96:_exten_safet_perfor_spin_operat_system}
Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin~Gun Sirer, David Becker,
  Marc Fiuczynski, Craig Chambers, and Susan Eggers.
\newblock Extensibility, safety and performance in the spin operating system,.
\newblock In {\em Proceedings of the 15th ACM Symposium on Operating System
  Principles (SOSP-15)}, pages 267--28, Copper Mountain, CO, 1996.

\bibitem{abadi94:_baby_modul}
Martin Abadi.
\newblock Baby modula-3 and a theory of objects.
\newblock {\em Journal of functional programming}, 4(2), April 1994.

\bibitem{tsuchudin93:_struc_comput_commun}
Christian Tsuchudin.
\newblock {\em On the Structuring of Computer Communication}.
\newblock PhD thesis, University of Geneva, Switzerland, 1993.

\bibitem{graves98:_exper_implem_jvm_simul}
Rory Graves and Ian Wakeman.
\newblock Experiences of implementing a jvm for simulation.
\newblock Technical report, School of Cognitive and Computing Sciences, Uni of
  Sussex, 1998.

\end{thebibliography}