File /users/formel2/dicosmo/ACADEMIC/Paperi/Miei/Parallelism/OcamlP3l/ocamlp3l.bib last modified on Wed Feb 11 15:33:46 1998.
@string{dip = "Department of Computer Science, University of Pisa (Italy)"}
@string{pfi = "Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, C.N.R. (Italy)"}
@string{psc = "Hewlett Packard Laboratories, Pisa Science Center (Italy)"}
@string{hpl = "Hewlett Packard Laboratories"}
@string{hp  = "Hewlett Packard"}

@string{toplas=    "ACM Transactions on Programming Languages and Systems"}
@string{cacm =     "Communications of the ACM"}
@string{sacm =     "ACM Computing Surveys"}
@string{lncs =     "Lecture Notes in Computer Science"}
@string{springer = "Springer-Verlag"}
@string{spe =      "Software Practice and Experience"}
@string{computer = "IEEE Computer"}
@string{IEEEtoc =  "IEEE Transactions on Computers"}
@string{IEEEtds =  "IEEE Transactions on Parallel and Distributed Systems"}
@string{IEEEtse =  "IEEE Transactions on Software Engineering"}
@string{jpdc=	   "Journal of Parallel and Distributed Computing"}
@string{siam-comp= "SIAM Journal on Computing"}
@string{tcs =      "Theoretical Computer Science"}

@string{lispconf = "Proceedings of the ACM Conference on LISP
	and Functional Programming"}
@string{aisca = "Proceedings of the Annual International
	Symposium on Computer Architecture (ACM--IEEE)"}

@string{jan = "January"}
@string{feb = "February"}
@string{mar = "March"}
@string{apr = "April"}
@string{may = "May"}
@string{jun = "June"}
@string{jul = "July"}
@string{aug = "August"}
@string{sep = "September"}
@string{oct = "October"}
@string{nov = "November"}
@string{dec = "December"}

@book{cole-th,
        author="M. Cole",
        title="{Algorithmic Skeletons: Structured Management of Parallel
        Computations}",
        publisher="Pitman",
        year="1989",
        series="Research Monographs in Parallel and 
	Distributed Computing"
}

@inproceedings{Darlington1996,
 author      ="P. Au and J. Darlington and M. Ghanem and Y. Guo and
                  H.W. To and J. Yang",
 title       ="Co-ordinating Heterogeneous Parallel Computation",
 editor      ="L. Bouge and P. Fraigniaud and A. Mignotte and Y. Robert",
 booktitle   ="Europar '96",
 year        ="1996",
 pages="601--614",
 publisher =springer,
}

@misc{Objective-Caml,
        author = "Xavier Leroy and J\'er\^ome Vouillon and Damien Doligez",
        title =         "The {Objective} {Caml} system",
        year =          "1996",
       howpublished =  "Software and documentation available on the Web,
                        \texttt{http://pauillac.inria.fr/ocaml/}"
}

@book{Paulson-working-ML,
        author =        "Lawrence C. Paulson",
        title =         "{ML} for the working programmer",
        publisher =     "Cambridge University Press",
        year =          "1991"}

@inproceedings{bird11,
	author="R. S. Bird",
	title="An introduction to the {T}heory of {L}ists",
	booktitle="Logic of programming and calculi of discrete
	design",
	year=1987,
	editor="Manfred Broy",
	organization="{NATO ASI} Series"
	}

@phdthesis{bratvold-thesis,
        author="T. Bratvold",
        title="Skeleton-Based Parallelisation of Functional Programs",
        school="Heriot-Watt University",
        year="1994"     }

@inproceedings{darli-to-1,
	author="J. Darlington  and Y. Guo and H. W. To and J. Yang",
	title="{Parallel Skeletons for Structured Composition}",
	booktitle="Fifth ACM SIGPLAN Symposium on Principles and
		  Practice of Parallel Programming",
	year="1995",
	publisher="ACM Press",
	month="July"	}

@inproceedings{darli-to-2,
	author="J. Darlington  and Y. Guo and H. W. To and Q. Wu and
		  J. Yang and M. Kohler",
	title="{Fortran-S: A Uniform Functional Interface to Parallel
		  Imperative Languages}",
	booktitle="Third Parallel Computing Workshop (PCW'94)",
	year="1994",
	publisher="Fujitsu Laboratories Ltd.",
	month="November"	}

@article{fgcs-firenze,
	author="M. Danelutto and R. Di Meglio and S. Orlando and
	S. Pelagatti and M. Vanneschi",
	title="A methodology for the development and support of
	massively parallel programs",
	journal="Future Generation Computer Systems",
	publisher="North Holland",
	year=1992,
	month=jul,
        pages="205--220",
	number="1--3",
	volume=8
	}

@inproceedings{ic-parle-93-1,
	author="J. Darlington  and A. J. Field and P. G. Harrison and P. H. J. Kelly and D. W. N. Sharp and Q. Wu",
	title="{Parallel Programming Using Skeleton Functions}",
	booktitle="PARLE'93",
	year="1993",
	pages="146--160",
	publisher="Springer",
	note="LNCS No. 694"	}

@techreport{mpi,
	author="M.P.I.Forum ",
	title="{Document for a standard message-passing interface}",
	institution="University of Tennessee",
	year="1993",
	number="CS-93-214",
	month=nov	}


@article{orlando-grosso,
	author="B. Bacci  and M. Danelutto and S. Orlando and S.
	Pelagatti and M. Vanneschi",
	title = "{P$^3$L: A Structured High level programming
	language and its structured support}",
	volume = 7,
	year = 1995,
        journal = "Concurrency Practice and Experience",
	number = 3,
	pages = {225--255},
        month = may,
	}

@article{skilli-cal-jpds,
        author="D. B. Skillicorn and W. Cai ",
        title="A Cost Calculus for Parallel Functional Programming",
        journal= jpdc,
        volume="28",
        year="1995",
        pages="65--83",
        }

@book{libro-susi,
        author = "S. Pelagatti",
        title = "Structured development of parallel programs",
        publisher = "Taylor\&Francis",
        address = "London",
        year = 1998
        }

@incollection{bird1,
        author="R. S. Bird",
        title="An introduction to the {T}heory of {L}ists",
        booktitle="Logic of programming and calculi of discrete
        design",
        year=1987,
        editor="M. Broy",
        pages = "5--42",
        publisher = springer,
        address = springerind,
        series = "NATO ASI",
        volume ="F36",
        more="International Summer School directed by F. L.
        Bauer, M. Broy, E. W. Dijkstra and C. A. R. Hoare"
        }

@techreport{tesi-susanna,
  author = 	 "S. Pelagatti",
  title = "{A methodology for the development and the support of
massively parallel programs}",
  institution = "Dept. of Computer Science -- Pisa",
  number = "TD-11/93",
  note = "PhD Thesis",
  year = 	 "1993"
}

@inproceedings{serot97,
  author = "Jocelyn Serot",
  title = "{Embodying parallel functional skeletons: an experimental
  implementation on top of MPI}",
  booktitle = "Proceedings of the EuroPar 97",
  note = "Passau, Germany",
  year = 1997,
  publisher = "Springer Verlag, LNCS No. 1300",
  monht = "August"
}

@inproceedings   {FournetGonthier96_rcham-join-calculus,
author       =   {C\'{e}dric Fournet and
                  Georges Gonthier},
title        =   {The Reflexive Chemical Abstract Machine 
                  and the Join-Calculus},
booktitle    =   "Proceedings of the 23rd ACM Symposium on
                  Principles of Programming Languages",
pages        =   "372--385",
publisher    =   "ACM",
address      =   "St. Petersburg Beach, Florida",
month        =   jan # " 21-24",
year         =   "1996"
                  }

@PhdThesis{KnabePhD,
        AUTHOR = {Knabe, F. C.},
        TITLE = {Language Support for Mobile Agents},
        SCHOOL = {School of Computer Science, Carnegie Mellon University},
        YEAR = {1995},
        NOTE = {CMU-CS-95-223; also published as Technical Report ECRC-95-36}
}

@MANUAL{FournetMaranget_Join_calculus_language,
        TITLE = {The Join-Calculus language},
        AUTHOR = {Cedric Fournet and Luc Maranget},
        ORGANIZATION = {INRIA},
        MONTH = jun,
        YEAR = {1997},
        NOTE = {Software and documentation available electronically, ({\tt http://pauil\-lac.in\-ria.fr/jo\-in})}
}