@article(abramsky1994proofs,
 author       = "S. Abramsky",
 year         = "1994",
 title        = "{Proofs as processes}",
 journal      = "Theoretical Computer Science",
 volume       = "135",
 number       = "1",
 pages        = "5--9",
 doi          = "10.1016/0304-3975(94)00103-0",
)
@article(andrews2003business,
 author       = "T. Andrews and F. Curbera and H. Dholakia and Y. Goland and J. Klein and F. Leymann and K. Liu and D. Roller and D. Smith and S. Thatte",
 year         = "2003",
 title        = "{Business process execution language for web services, version 1.1}",
 journal      = "Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation",
)
@article(bellin1994,
 author       = "G. Bellin and PJ Scott",
 year         = "1994",
 title        = "{On the $\pi $-calculus and linear logic}",
 journal      = "Theoretical Computer Science",
 volume       = "135",
 number       = "1",
 pages        = "11--65",
 doi          = "10.1016/0304-3975(94)00104-9",
)
@article(bog2006tool,
 author       = "A. Bog and F. Puhlmann",
 year         = "2006",
 title        = "{A Tool for the Simulation of $\pi $-Calculus Systems}",
 journal      = "Open. BPM",
)
@article(casati2000eflow,
 author       = "F. Casati and S. Ilnicki and L.J. Jin and V. Krishnamoorthy and M.C. Shan",
 year         = "2000",
 title        = "{eFlow: a platform for developing and managing composite e-services}",
 journal      = "HP Laboratories Technical Report HPL",
)
@misc(christensen2001web,
 author       = "E. Christensen and F. Curbera and G. Meredith and S. Weerawarana",
 year         = "2001",
 title        = "{Web services description language (WSDL) 1.1}",
 note         = "\texttt {http://www.w3.org/TR/wsdl}",
)
@conference(coalition2002daml,
 author       = "D.S. Coalition and A. Ankolekar and M. Burstein and J.R. Hobbs",
 year         = "2002",
 title        = "{DAML-S: Web service description for the semantic Web}",
 booktitle    = "First International Semantic Web Conference, Sardinia, Italy",
 organization = "Springer",
)
@article(girard1995linear,
 author       = "J.Y. Girard",
 year         = "1995",
 title        = "{Linear logic: its syntax and semantics}",
 journal      = "Advances in linear logic",
 volume       = "222",
 pages        = "1--42",
 doi          = "10.1017/CBO9780511629150.002",
)
@article(harrison1996optimizing,
 author       = "J. Harrison",
 year         = "1996",
 title        = "{Optimizing proof search in model elimination}",
 journal      = "Lecture Notes in Computer Science",
 volume       = "1104",
 pages        = "313--327",
)
@incollection(harrison1996hol,
 author       = "John Harrison",
 year         = "1996",
 title        = "HOL Light: A tutorial introduction",
 booktitle    = "Formal Methods in Computer-Aided Design",
 series       = "Lecture Notes in Computer Science",
 volume       = "1166",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "265--269",
 doi          = "10.1007/BFb0031814",
)
@article(hendler1990ai,
 author       = "J.A. Hendler and A. Tate and M. Drummond",
 year         = "1990",
 title        = "{AI planning: Systems and techniques}",
 journal      = "AI magazine",
 volume       = "11",
 number       = "2",
 pages        = "61",
)
@article(howard1980formulae,
 author       = "W.A. Howard",
 year         = "1980",
 title        = "{The formulae-as-types notion of construction}",
 journal      = "To HB Curry: essays on combinatory logic, lambda calculus and formalism",
 pages        = "479--490",
)
@article(john1992decision,
 author       = "P.L. John and J. Mitchell and A. Scedrov and N. Shankar",
 year         = "1992",
 title        = "{Decision problems for propositional linear logic}",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "56",
 number       = "1-3",
 pages        = "239--311",
)
@article(lammermann2002rsc,
 author       = "S. L{\"a}mmermann and Institutionen f{\"o}r mikroelektronik och informationsteknik and Kungliga tekniska h{\"o}gskolan",
 year         = "2002",
 title        = "{Runtime service composition via logic-based program synthesis}",
 journal      = "Department of Microelectronics and Information Technology",
)
@misc(martin2004owl,
 author       = "D. Martin and M. Burstein and J. Hobbs and O. Lassila and D. McDermott and S. McIlraith and S. Narayanan and M. Paolucci and B. Parsia and T.R. Payne",
 year         = "2004",
 title        = "{OWL-S: Semantic markup for web services}",
 note         = "\texttt {http://www.w3.org/Submission/OWL-S/}",
)
@article(melham1994mechanized,
 author       = "T. F. Melham",
 year         = "1994",
 title        = "A Mechanized Theory of the $\pi $-calculus in HOL",
 journal      = "Nordic Journal of Computing",
 volume       = "Volume 1",
 pages        = "50--76",
)
@book(milner1999communicating,
 author       = "R. Milner",
 year         = "1999",
 title        = "{Communicating and mobile systems: the $\pi $-calculus}",
 publisher    = "Cambridge Univ Pr",
)
@article(murata1989petri,
 author       = "T. Murata",
 year         = "1989",
 title        = "{Petri nets: Properties, analysis and applications}",
 journal      = "Proceedings of the IEEE",
 volume       = "77",
 number       = "4",
 pages        = "541--580",
 note         = "Doi:10.1109/5.24143",
)
@book(paulson1990logic,
 author       = "L.C. Paulson",
 year         = "1990",
 title        = "{Logic and computation: interactive proof with Cambridge LCF}",
 publisher    = "Cambridge Univ Pr",
)
@conference(ponnekanti2002sword,
 author       = "S.R. Ponnekanti and A. Fox",
 year         = "2002",
 title        = "{Sword: A developer toolkit for web service composition}",
 booktitle    = "Proc. of the Eleventh International World Wide Web Conference, Honolulu, HI",
)
@conference(power1999working,
 author       = "J. Power and C. Webster and C. Maynooth and I. Kildare",
 year         = "1999",
 title        = "{Working with Linear Logic in Coq}",
 booktitle    = "12th International Conference on Theorem Proving in Higher Order Logics, Work-in-Progress Report, Nice, France",
)
@article(rao-semantic,
 author       = "J. Rao",
 year         = "2004",
 title        = "{Semantic web service composition via logic-based program synthesis}",
 journal      = "Dr. Ing Thesis, Norwegian Uinversity of Science and Technology, Trondheim",
)
@article(rao2006composition,
 author       = "J. Rao and P. K\"{u}ngas and M. Matskin",
 year         = "2006",
 title        = "{Composition of semantic web services using linear logic theorem proving}",
 journal      = "Information Systems",
 volume       = "31",
 number       = "4-5",
 pages        = "340--360",
 doi          = "10.1016/j.is.2005.02.005",
)
@article(robertson2004lightweight,
 author       = "D. Robertson",
 year         = "2004",
 title        = "{A lightweight coordination calculus for agent systems}",
 journal      = "Declarative Agent Languages and Technologies",
 volume       = "1",
 pages        = "183--197",
)
@inproceedings(sadrzadeh2003modal,
 author       = "M. Sadrzadeh",
 year         = "2003",
 title        = "Modal linear logic in higher order logic: An experiment with Coq",
 booktitle    = "In Emerging Trends TPHOLS",
 pages        = "75--93",
)
@article(sangiorgi1996theory,
 author       = "D. Sangiorgi",
 year         = "1996",
 title        = "{A theory of bisimulation for the $\pi $-calculus}",
 journal      = "Acta informatica",
 volume       = "33",
 number       = "1",
 pages        = "69--97",
 doi          = "10.1007/s002360050036",
)
@article(stickel2000guide,
 author       = "M.E. Stickel and R.J. Waldinger and V.K. Chaudhri",
 year         = "2000",
 title        = "{A guide to SNARK}",
 journal      = "SRI International, Menlo Park, CA",
)
@techreport(tamura1998user,
 author       = "Naoyuki Tamura",
 year         = "1998",
 title        = "User's Guide of a Linear Logic Theorem Prover (llprover)",
 type         = "Technical Report",
 institution  = "Kobe University, Japan",
)
@inproceedings(victor1994mobility,
 author       = "Bj\"{o}rn Victor and Faron Moller",
 year         = "1994",
 title        = "The {M}obility {W}orkbench --- A Tool for the $\pi $-Calculus",
 editor       = "David Dill",
 booktitle    = "{CAV'94: Computer Aided Verification}",
 series       = "Lecture Notes in Computer Science",
 volume       = "818",
 publisher    = "Springer-Verlag",
 pages        = "428--440",
)
@incollection(waldinger2001wac,
 author       = "Richard Waldinger",
 year         = "2001",
 title        = "Web Agents Cooperating Deductively",
 booktitle    = "Formal Approaches to Agent-Based Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "1871",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "250--262",
 doi          = "10.1007/3-540-45484-5\_20",
)
@article(sensoria2006,
 author       = "M. Wirsing and A. Clark and S. Gilmore and M. H\"{o}lzl and A. Knapp and N. Koch and A. Schroeder",
 year         = "2006",
 title        = "Semantic-based development of service-oriented systems",
 journal      = "Formal Techniques for Networked and Distributed Systems-FORTE 2006",
 pages        = "24--45",
)