@article(Abowd2000,
 author       = "G.~Abowd and E.D. Mynatt",
 year         = "2000",
 title        = "Charting past, present, and future research in ubiquitous computing",
 journal      = "ACM Trans. Comput.-Hum. Interact.",
 volume       = "7",
 pages        = "29--58",
 doi          = "10.1145/344949.344988",
)
@techreport(EECS-2009-28,
 author       = "M.~Armbrust and A.~Fox and R.~Griffith and A.~D. Joseph and R.~H. Katz and A.~Konwinski and G.~Lee and D.~A. Patterson and A.~Rabkin and I.~Stoica and M.~Zaharia",
 year         = "2009",
 title        = "Above the Clouds: A Berkeley View of Cloud Computing",
 type         = "Technical Report",
 number       = "UCB/EECS-2009-28",
 institution  = "EECS Department, University of California, Berkeley",
)
@article(BDFZ09,
 author       = "M.~Bartoletti and P.~Degano and G.L. Ferrari and R.~Zunino",
 year         = "2009",
 title        = "Local Policies for Resource Usage Analysis",
 journal      = "ACM Trans. Program. Lang. Syst.",
 doi          = "10.1145/1552309.1552313",
)
@inproceedings(BZ10,
 author       = "M.~Bartoletti and R.~Zunino",
 year         = "2010",
 title        = "A Calculus of Contracting Processes",
 booktitle    = "Proc of LICS'10",
 publisher    = "IEEE Computer Society",
 pages        = "332--341",
 doi          = "10.1109/LICS.2010.25",
)
@article(DBLP:journals/iandc/BodeiDNN01,
 author       = "C.~Bodei and P.~Degano and F.~Nielson and H.~Nielson",
 year         = "2001",
 title        = "Static Analysis for the Pi-Calculus with Applications to Security",
 journal      = "Inf. Comput.",
 volume       = "168",
 number       = "1",
 pages        = "68--92",
 doi          = "10.1006/inco.2000.3020",
)
@inproceedings(BDF2011,
 author       = "C.~Bodei and V.~D. Dinh and G.~L. Ferrari",
 year         = "2011",
 title        = "A G-Local $\pi $-calculus",
 booktitle    = "Proc.~of PLACES 2011",
 doi          = "10.4204/EPTCS.38.6",
 url          = "http://places11.di.fc.ul.pt/proceedings.pdf/view",
)
@inproceedings(BuscemiM07,
 author       = "M.~G. Buscemi and U.~Montanari",
 year         = "2007",
 title        = "Cc-pi: A Constraint-based Language for Specifying Service Level Agreements",
 booktitle    = "Proc of ESOP'07, LNCS 4421",
 publisher    = "Springer",
 pages        = "18--32",
 doi          = "10.1007/978-3-540-71316-6\_3",
)
@article(Buyya2009,
 author       = "R.~Buyya and C.~S. Yeo and S.~Venugopal and J.~Broberg and I.~Brandic",
 year         = "2009",
 title        = "Cloud computing and emerging IT platforms: Vision, hype, and reality for delivering computing as the 5th utility",
 journal      = "Future Gener. Comput. Syst.",
 volume       = "25",
 pages        = "599--616",
 doi          = "10.1016/j.future.2008.12.001",
)
@article(Caires08,
 author       = "Lu\'{\i }s Caires",
 year         = "2008",
 title        = "Spatial-behavioral types for concurrency and resource control in distributed systems",
 journal      = "Theor. Comput. Sci.",
 volume       = "402",
 number       = "2-3",
 pages        = "120--141",
 doi          = "10.1016/j.tcs.2008.04.030",
)
@article(DCGP09,
 author       = "G.~Castagna and N.~Gesbert and L.~Padovani",
 year         = "2009",
 title        = "A theory of Contracts for Web services",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "31",
 number       = "5",
 doi          = "10.1007/978-3-642-00590-9",
)
@article(DBLP:journals/fac/CollinsonP10a,
 author       = "M.~Collinson and D.J. Pym",
 year         = "2010",
 title        = "Algebra and Logic for Access Control",
 journal      = "Formal Asp. Comput.",
 volume       = "22",
 number       = "3-4",
 pages        = "483--484",
 doi          = "10.1007/s00165-010-0155-2",
)
@article(Gelernter,
 author       = "D.~Gelernter",
 year         = "1985",
 title        = "{Generative communication in Linda}",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "7",
 number       = "1",
 pages        = "80--112",
 doi          = "10.1145/2363.2433",
)
@article(DBLP:journals/lmcs/KobayashiSW06,
 author       = "N.~Kobayashi and K.~Suenaga and L.~Wischik",
 year         = "2006",
 title        = "Resource Usage Analysis for the Pi-Calculus",
 journal      = "Logical Methods in Computer Science",
 volume       = "2",
 number       = "3",
 pages        = "298--312",
 doi          = "10.2168/LMCS-2(3:4)2006",
)
@book(SW-Book,
 author       = "D.~Sangiorgi and D.~Walker",
 year         = "2001",
 title        = "Pi-Calculus: A Theory of Mobile Processes",
 publisher    = "Cambridge University Press",
 address      = "New York, NY, USA",
)
@inproceedings(FVH,
 author       = "E.~D. Vries and A.~Francalanza and M.~Hennessy",
 year         = "2009",
 title        = "Uniqueness Typing for Resource Management in Message-Passing Concurrency",
 booktitle    = "Proc.~of LINEARITY",
 series       = "EPTCS",
 volume       = "22",
 pages        = "26--37",
 doi          = "10.4204/EPTCS.22.3",
)
@inproceedings(you08,
 author       = "L.~Youseff and M.~Butrico and D.~Da Silva",
 year         = "2008",
 title        = "Toward a Unified Ontology of Cloud Computing",
 booktitle    = "Proc of GCE '08",
 pages        = "1--10",
 doi          = "10.1109/GCE.2008.4738443",
)