@article(abramsky94tcl,
 author       = "Samson Abramsky",
 year         = "1994",
 title        = "Proofs as Processes",
 journal      = "Theoretical Computer Science",
 volume       = "135",
 pages        = "5--9",
 doi          = "10.1016/0304-3975(94)00103-0",
)
@article(ACS08,
 author       = "Roberto M. Amadio and Ilaria Castellani and Davide Sangiorgi",
 year         = "1998",
 title        = "On Bisimulation for the Asynchronous pi-Calculus",
 journal      = "Theoretical Computer Science",
 volume       = "195",
 number       = "2",
 pages        = "291--324",
 doi          = "10.1016/S0304-3975(97)00223-5",
)
@techreport(barber96dual,
 author       = "Andrew Barber",
 year         = "1996",
 title        = "Dual Intuitionistic Linear Logic",
 type         = "Technical Report",
 number       = "ECS-LFCS-96-347",
 institution  = "Laboratory for Foundations of Computer Sciences, University if Edinburgh",
)
@inproceedings(Cervesato00fmcs,
 author       = "Iliano Cervesato and Nancy Durgin and Max Kanovich and Andre Scedrov",
 year         = "2000",
 title        = "Interpreting Strands in Linear Logic",
 editor       = "H. Veith and N. Heintze and E. Clark",
 booktitle    = "2000 Workshop on Formal Methods and Computer Security",
 address      = "Chicago, IL",
)
@techreport(cervesato02concurrent,
 author       = "Iliano Cervesato and Frank Pfenning and David Walker and Kevin Watkins",
 year         = "2002",
 title        = "A Concurrent Logical Framework {II}: Examples and Applications",
 type         = "Technical Report",
 number       = "CMU-CS-2002-002",
 institution  = "Department of Computer Science, Carnegie Mellon University",
)
@article(cervesato09relating,
 author       = "Iliano Cervesato and Andre Scedrov",
 year         = "2009",
 title        = "Relating state-based and process-based concurrency through linear logic",
 journal      = "Information and Computation",
 volume       = "207",
 pages        = "1044--1077",
 doi          = "10.1016/j.ic.2008.11.006",
)
@inproceedings(DH11a,
 author       = "Yuxin Deng and Matthew Hennessy",
 year         = "2011",
 title        = "{On the Semantics of Markov Automata}",
 booktitle    = "Proc. ICALP'11",
 publisher    = "Springer-Verlag LNCS 6756",
 pages        = "307--318",
 doi          = "10.1007/978-3-642-22012-8\_24",
)
@techreport(deng11tr,
 author       = "Yuxin Deng and Robert J. Simmons and Iliano Cervesato",
 year         = "2011",
 title        = "Relating Reasoning Methodologies in Linear Logic and Process Algebra",
 type         = "Technical Report",
 number       = "CMU-CS-11-145",
 institution  = "Department of Computer Science, Carnegie Mellon University",
 address      = "Pittsburgh, PA",
)
@article(FournetG05,
 author       = "C{\'e}dric Fournet and Georges Gonthier",
 year         = "2005",
 title        = "A hierarchy of equivalences for asynchronous calculi",
 journal      = "Journal of Logic and Algebraic Programming",
 volume       = "63",
 number       = "1",
 pages        = "131--173",
 doi          = "10.1016/j.jlap.2004.01.006",
)
@article(girard87linear,
 author       = "Jean-Yves Girard",
 year         = "1987",
 title        = "Linear logic",
 journal      = "Theoretical Computer Science",
 volume       = "50",
 pages        = "1--102",
 doi          = "10.1016/0304-3975(87)90045-4",
)
@book(Hoa85,
 author       = "C.A.R. Hoare",
 year         = "1985",
 title        = "Communicating Sequential Processes",
 publisher    = "Prentice Hall",
 doi          = "10.1145/359576.359585",
)
@inproceedings(ht92,
 author       = "Kohei Honda and Mario Tokoro",
 year         = "1992",
 title        = "On Asynchronous Communication Semantics",
 editor       = "M. Tokoro and O. Nierstrasz and P. Wegner",
 booktitle    = "Proc. of ECOOP'91 Workshop on Object-Based Concurrent Computing",
 publisher    = "Springer-Verlag LNCS 612",
 pages        = "21--51",
 doi          = "10.1007/3-540-55613-3\_2",
)
@techreport(lincoln91tr,
 author       = "Patrick Lincoln and Vijay Saraswat",
 year         = "1991",
 title        = "Proofs as concurrent processes: A logical interpretation for concurrent constraint programming",
 type         = "Technical Report",
 institution  = "Systems Sciences Laboratory, Xerox PARC",
)
@article(mcdowell03tcs,
 author       = "Raymond McDowell and Dale Miller and Catuscia Palamidessi",
 year         = "2003",
 title        = "Encoding transition systems in sequent calculus",
 journal      = "Theoretical Computer Science",
 volume       = "294",
 number       = "3",
 pages        = "411--437",
 doi          = "10.1016/S0304-3975(01)00168-2",
)
@inproceedings(Miller92elp,
 author       = "Dale Miller",
 year         = "1992",
 title        = "The $\pi $-Calculus as a Theory in Linear Logic: Preliminary Results",
 editor       = "E. Lamma and P. Mello",
 booktitle    = "Proc. ELP",
 publisher    = "Springer-Verlag LNCS 660",
 pages        = "242--265",
)
@book(Mil89,
 author       = "Robin Milner",
 year         = "1989",
 title        = "Communication and Concurrency",
 publisher    = "Prentice Hall",
)
@inproceedings(RathkeS08,
 author       = "Julian Rathke and Pawel Sobocinski",
 year         = "2008",
 title        = "Deriving Structural Labelled Transitions for Mobile Ambients",
 booktitle    = "Proc. CONCUR'08",
 publisher    = "Springer-Verlag LNCS 5201",
 pages        = "462--476",
 doi          = "10.1007/978-3-540-85361-9\_36",
)
@inproceedings(tiu04fguc,
 author       = "Alwen Tiu and Dale Miller",
 year         = "2004",
 title        = "A Proof Search Specification of the $\pi $-Calculus",
 booktitle    = "3rd Workshop on the Foundations of Global Ubiquitous Computing",
 series       = "ENTCS",
 volume       = "138",
 pages        = "79--101",
 doi          = "10.1016/j.entcs.2005.05.006",
)