@article{Klaim,
    author  =   "R. De Nicola and G. Ferrari and R. Pugliese",
    title       =   "{KLAIM: A } kernel Language for agents interaction and mobility",
    journal =   "IEEE Transactions on Software Engineering",
    volume  =   24,
    number  =   5,
    year        =   1998,
    pages       =   "315-330"       
}

@InProceedings{Lime,
  author =       "G.P.~Picco and A.L.~Murphy and G.-C.~Roman",
  title =        "{{\sc Lime}: Linda Meets Mobility}",
  booktitle =    "Proc. of the 21$^{st}$ Int. Conference
                 on Software Engineering (ICSE'99)",
  editor =       "D. Garlan",
  year =         "1999",
  publisher =    "ACM Press",
  pages =        "368--377",
}

@article{WG:explicit-fusions,
  author    = {Lucian Wischik and
               Philippa Gardner},
  title     = {Explicit fusions},
  journal   = {Theor. Comput. Sci.},
  volume    = {340},
  number    = {3},
  year      = {2005},
  pages     = {606-630},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2005.03.017},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@InProceedings(milner:polyadic-tutorial
  ,author       = {Robin Milner}
  ,title        = {The Polyadic $\pi$-Calculus: A Tutorial}
  ,booktitle    = {Logic and Algebra of Specification}
  ,organization = "NATO ASI"
  ,series       = "Series F"
  ,volume       = 94
  ,year         = 1993
  ,editor       = {Friedrich L. Bauer and Wilfried Brauer and Helmut
                  Schwichtenberg}
  ,publisher    = "Springer"
)


@InProceedings{G:CONCUR08,
  author    =   {D. Gorla},
  title     =   {Towards a Unified Approach to Encodability and Separation Results for Process Calculi},
  editor    =   {F. van Breugel and M. Chechik},
  booktitle =   {Proc. of 19th International Conference on Concurrency Theory (CONCUR'08)},
  series    =   {LNCS},
  number    =  	{5201},
  pages     =  	{492--507},
  year      =  	{2008},
  publisher =   {Springer},
}

@article{G:IC08,
  author    =   {D. Gorla},
  title     =   {Comparing Communication Primitives via their Relative Expressive Power},
  journal   =   {Information and Computation},
  volume    =  	{206},
  number    =  	{8},
  pages     =  	{931--952},
  year      =  	{2008},
  publisher =   {Elsevier},
}

@Article(milner.parrow.ea:calculus-mobile
  ,author       = {Robin Milner and Joachim Parrow and David Walker}
  ,title        = {A Calculus of Mobile Processes, Part {I/II}}
  ,journal      = {Information and Computation}
  ,year         = 1992
  ,volume       = 100
  ,pages        = {1--77}
)

@InProceedings(JK06
  ,author       = {Barry Jay and Delia Kresner}
  ,title        = {Pure Pattern Calculus}
  ,booktitle    = {Proc. of ESOP}
  ,year         = {2006}
  ,pages        = {100--114}
  ,series       = {LNCS}
  ,volume       = {3924}
  ,publisher    = {Springer}
 , note = {Revised version at \url{http://www-staff.it.uts.edu.au/~cbj/Publications/purepattern.pdf}}
)

@InProceedings(parrow.victor:fusion-calculus
  ,author       = {Joachim Parrow and Bj{\"o}rn Victor}
  ,title        = {The Fusion Calculus: Expressiveness and Symmetry in Mobile
                  Processes}
  ,pages        = {176-185}
  ,booktitle    = {Proc. of LICS}
  ,publisher    = {IEEE Computer Society}
  ,year         = 1998
)

@article{Gel85,
    author  =   "David Gelernter",
    title   =   "Generative communication in {{\sc Linda}}",
    year    =   1985,
    journal =   "ACM Transactions on Programming Languages and Systems",
    volume  =   7,
    number  =   1,
    pages   =   "80-112"
}

@Article(sangiorgi:bisimulation-higher-order
  ,author       = {Davide Sangiorgi}
  ,title        = {Bisimulation in Higher-Order Process Calculi}
  ,journal      = {Information and Computation}
  ,year         = 1996
  ,volume       = 131
  ,pages        = {141--178}
)

@InProceedings{G:FoSSaCS06,
  author    =   {Daniele Gorla},
  title     =   {On the Relative Expressive Power of Asynchronous Communication Primitives},
  booktitle =   {Proc. of FoSSaCS},
  series    =   {LNCS},
  volume    =   {3921},
  pages     =   {47--62},
  year      =   {2006},
  publisher =   {Springer},
}

@article{cacm03:soc,
 author = {},
 title = {Special issue on Service-oriented computing},
 journal = {Communications of the ACM},
 volume = {46},
 number = {10},
 year = {October 2003},
 publisher = {ACM Press},
 }

@Book{Mil89,
  author =   {R. Milner},
  title =    {Communication and Concurrency},
  publisher =    {Prentice Hall},
  year =     {1989}
}

@Article{deboer.palamidessi:embedding,
  author    = {F.~{de Boer} and C.~Palamidessi},
  title     = {Embedding as a tool for language comparison.},
  journal   = {Information and Computation}, 
  volume    = {108},
  number    = {1},
  pages     = {128--157},
  year      = {1994},
}

@Article(palamidessi:comparing-expressive-full
  ,author       = {Catuscia Palamidessi}
  ,title        = {Comparing the Expressive Power of the Synchronous and the
                  Asynchronous $\pi$-calculi}
  ,journal      = {Mathematical Structures in Computer Science}
  ,year         = 2003
  ,volume       = 13
  ,number       = 5
  ,pages        = {685--719}
)

@Article(nestmann:what-good
  ,author       = {Uwe Nestmann}
  ,title        = {What Is a `Good' Encoding of Guarded Choice?}
  ,journal      = {Information and Computation}
  ,year         = 2000
  ,volume       = 156
  ,pages        = {287--319}
)

@InProceedings(parrow:introduction-to
  ,author       = {Joachim Parrow}
  ,title        = {An Introduction to the pi-Calculus}
  ,booktitle    = {Handbook of Process Algebra}
  ,pages        = {479--543}
  ,year         = 2001
  ,editor       = {Jan Bergstra and Alban Ponse and Scott Smolka}
  ,publisher    = {Elsevier Science}
  ,url          = {http://www.it.kth.se/~joachim/intro.ps}
  ,abstract     = {The pi-calculus is a process algebra where processes
                  interact by sending communication links to each other. This
                  paper is an overview of and introduction to its basic
                  theory. We explore the syntax, semantics, equivalences and
                  axiomatisations of the most common variants.}
)

@InProceedings{PMR99,
  author =       "G.P.~Picco and A.L.~Murphy and G.-C.~Roman",
  title =        "{{\sc Lime}: Linda Meets Mobility}",
  booktitle =    "Proc. of the 21$^{st}$ Int. Conference
                 on Software Engineering (ICSE'99)",
  editor =       "D. Garlan",
  year =         "1999",
  publisher =    "ACM Press",
  optaddress =      "Los Angeles, CA, USA",
  optmonth =        may,
  pages =        "368--377",
  optnote =      "Also available as Technical Report WUCS-98-21, July
                 1998, Washington University in St. Louis, MO, USA.",
  opturl =          "http://www.elet.polimi.it/Users/DEI/Sections/Compeng/GianPietro.Picco/papers/icse99.ps.gz",
}

@article{Nicola98,
    author  =   "R. {De Nicola} and G. Ferrari and R. Pugliese",
    title       =   "{KLAIM: A } kernel Language for agents interaction and mobility",
    journal =   "IEEE Transactions on Software Engineering",
    volume  =   24,
    number  =   5,
    year        =   1998,
    pages       =   "315-330"       
}

@unpublished{Sun97,
        author  =       "{Sun Microsystems}",
        year    =       1999,
        title   =       "JavaSpace Specification",
        note    =       "available at: \verb!http://java.sun.com/!"
}

@inproceedings{Douglas96,
        author  =       "A. Douglas and N. {R\"{o}jemo} and C. Runciman and A. Wood",
        title   =       "Astro-Gofer: Parallel Functional Programming with co-ordinating processes",
        year    =       1996,
        booktitle =     "Euro-Par'96",
        editor  =       "{L. Boug\'{e}} and P. Fraigniaud and A. Mignotte and Y. Robert",
        publisher =     "Springer-Verlang",
        series  =       "Lecture Notes in Computer Science",
        volume  =       1123,
        pages   =       "686-693"
}

@article{Yuen96,
    author  =   "C. Yuen and M. Feng and J. Yee",
    title   =   "{BaLinda} suite of languages and implementations",
    journal =   "Journal of Software Systems",
    year    =   1996,
    volume  =   32,
    pages   =   "251-267"
}

 @Book{HM98,
  author = 	 {Hammond, K. and Michaelson, G. (eds)},
  title = 	 {Research Directions in Parallel Functional Programming},
  publisher = 	 {Springer},
  year = 	 {1999},
  OPTkey = 	 {},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

 @article{gordon1997ccp,
  title={{A calculus for cryptographic protocols: The spi calculus}},
  author={Gordon, A.D. and Abadi, M.},
  journal={4th ACM Conference on Computer and Communications Security},
  pages = {36 -- 47},
  year={1997}
}

@article{358021,
 author = {C. A. R. Hoare},
 title = {Communicating sequential processes},
 journal = {Commun. ACM},
 volume = {26},
 number = {1},
 year = {1983},
 issn = {0001-0782},
 pages = {100--106},
 doi = {http://doi.acm.org/10.1145/357980.358021},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

 @MISC{Kohl93thekerberos,
    author = {J. Kohl and C. Neuman and Athena Muse},
    title = {The Kerberos Network Authentication Service (V5)},
    year = {1993}
}

@MISC{Menezes97handbookof,
    author = {Alfred J. Menezes and Paul C. Van Oorschot and Scott A. Vanstone and R. L. Rivest},
    title = {Handbook of Applied Cryptography},
    year = {1997}
}

@book{2561865,
    address = {Boston, Massachusetts, U.S.A.},
    author = {Zimmermann, P. R.},
    publisher = {MIT Press},
    title = {The Official {PGP} Users Guide},
    year = {1995}
}

@article{10.1109/RISP.1991.130791,
author = {Joseph J. Tardo and Kannan Alagappan},
title = {SPX: Global Authentication Using Public Key Certificates},
journal ={Security and Privacy, IEEE Symposium on},
volume = {0},
issn = {1540-7993},
year = {1991},
pages = {232},
doi = {http://doi.ieeecomputersociety.org/10.1109/RISP.1991.130791},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@inproceedings{1998:MobileAmbients,
	author={Luca Cardelli and Andrew D. Gordon},
	title={Mobile Ambients},
	booktitle={Foundations of Software Science and Computation Structures: First International Conference, {FOSSACS '98}},
	year={1998},
	publisher={Springer-Verlag, Berlin Germany}
}

@Book{pcb,
  author = 	 {Jay, Barry},
  ALTeditor = 	 {},
  title = 	 {Pattern Calculus: Computing with Functions and Data Structures},
  publisher = 	 {Springer},
  year = 	 {2009}
}
@Article{JK09,
  author = 	 {Jay, Barry and Kesner, Delia},
  title = 	 {First-class Patterns},
  journal = 	 {Journal of Functional Programming},
  year = 	 {2009},
  OPTkey = 	 {},
  volume = 	 {19},
  number = 	 {2},
  pages = 	 {34 pages}
}


@Misc{bondi,
  key = 	 {bondi},
  OPTauthor = 	 {},
  title = 	 {bondi programming language},
  howpublished = {\url{www-staff.it.uts.edu.au/~cbj/bondi}},
  OPTmonth = 	 {},
  year = 	 {},
  url = 	 {www-staff.it.uts.edu.au/~cbj/bondi},
  OPTannote = 	 {}
}

@Misc{JG09,
  OPTkey = 	 {},
  author = 	 {Barry Jay and Thomas Given-Wilson},
  title = 	 {A Combinatory Account of Internal Structure},
  OPTmonth = 	 {},
  year = 	 {2010},
  note = 	 {  \url{http://www-staff.it.uts.edu.au/~cbj/Publications/factorisation.pdf}
},
  OPTannote = 	 {}
}



@Misc{cpc-long,
  OPTkey = 	 {},
  author = 	 {Thomas Given-Wilson and Daniele Gorla and Barry Jay},
  title = 	 {Concurrent Pattern Calculus (long version)},
  howpublished = {\url{http://www.progsoc.uts.edu.au/~sanguinev/files/cpc-long.pdf}},
  OPTmonth = 	 {},
  year = 	 {2010},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@book{Barendregt85,
      AUTHOR      = {Barendregt, Henk P.},
      TITLE       = {The Lambda Calculus. Its Syntax and Semantics},
      YEAR        = {1985},
      PUBLISHER   = {Elsevier Science Publishers B.V.},
      SERIES      = {Studies in Logic and the Foundations of Mathematics},
 }

@INPROCEEDINGS{Brown05piduce:a,
    author = {Allen L. Brown and Cosimo Laneve and L. Gregory Meredith},
    title = {PiDuce: A process calculus with native {XML} datatypes},
    booktitle = {In Proc. of EPEW’05/WS-FM’05, volume 3670 of Lect},
    year = {2005},
    pages = {18--34},
    publisher = {Springer}
}

@book{559050,
 author = {Sangiorgi, Davide and Walker, David},
 title = {PI-Calculus: A Theory of Mobile Processes},
 year = {2001},
 isbn = {0521781779},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
 }

@inproceedings{conf/esop/BuscemiM07,
  author = {Maria Grazia Buscemi and Ugo Montanari},
  booktitle = {ESOP},
  crossref = {conf/esop/2007},
  editor = {Rocco De Nicola},
  interhash = {9e62d18e3140664a6024836cd6fbba11},
  intrahash = {798a94183b6ffa59bccb97cb4d1be92c},
  pages = {18-32},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements.},
  url = {http://dblp.uni-trier.de/db/conf/esop/esop2007.html#BuscemiM07},
  volume = 4421,
  year = 2007,
  keywords = {dblp},
  ee = {http://dx.doi.org/10.1007/978-3-540-71316-6_3},
  description = {dblp},
  isbn = {978-3-540-71314-2},
  biburl = {http://www.bibsonomy.org/bibtex/2798a94183b6ffa59bccb97cb4d1be92c/dblp},
  date = {2007-07-31}
}

@INPROCEEDINGS{Boreale04d-fusion:a,
    author = {Michele Boreale and Maria Grazia Buscemi and Ugo Montanari},
    title = {D-Fusion: a Distinctive Fusion Calculus},
    booktitle = {In Proc. APLAS’04, LNCS 3302},
    year = {2004},
    pages = {296--310},
    publisher = {Springer}
}