@unknown(Bell:SAS2010,
 author       = "Christian~J. Bell and Andrew~W. Appel and David Walker",
 year         = "2010",
 title        = "Concurrent Separation Logic for Pipelined Parallelization",
 booktitle    = "SAS",
 series       = "LNCS",
 volume       = "6337",
 pages        = "151--166",
 url          = "http://dx.doi.org/10.1007/978-3-642-15769-1_10",
)
@unknown(Messa:ESOP2011,
 author       = "Viviana Bono and Chiara Messa and Luca Padovani",
 year         = "2011",
 title        = "Typing Copyless Message Passing",
 booktitle    = "ESOP",
 series       = "LNCS",
 volume       = "6602",
 publisher    = "Springer",
 pages        = "57--76",
 url          = "http://dx.doi.org/10.1007/978-3-642-19718-5_4",
)
@unknown(typingclmp-journal,
 author       = "Viviana Bono and Luca Padovani",
 year         = "2012",
 title        = "Typing Copyless Message Passing",
 journal      = "Logical Methods in Computer Science",
 volume       = "8",
 number       = "1",
 url          = "http://dx.doi.org/10.2168/LMCS-8(1:17)2012",
)
@unknown(Bornat:POPL05,
 author       = "Richard Bornat and Cristiano Calcagno and Peter~W. O'Hearn and Matthew~J. Parkinson",
 year         = "2005",
 title        = "Permission accounting in separation logic",
 booktitle    = "POPL",
 pages        = "259--270",
 url          = "http://doi.acm.org/10.1145/1040305.1040327",
)
@unknown(Boyland:SAS03,
 author       = "John Boyland",
 year         = "2003",
 title        = "Checking Interference with Fractional Permissions",
 booktitle    = "SAS",
 series       = "LNCS",
 volume       = "2694",
 pages        = "55--72",
 url          = "http://link.springer.de/link/service/series/0558/bibs/2694/26940055.htm",
)
@unknown(cfsm83,
 author       = "Daniel Brand and Pitro Zafiropulo",
 year         = "1983",
 title        = "On Communicating Finite-State Machines",
 journal      = "J. ACM",
 volume       = "30",
 number       = "2",
 pages        = "323--342",
 url          = "db/journals/jacm/BrandZ83.html, http://doi.acm.org/10.1145/322374.322380",
)
@unknown(Sing,
 author       = "Manuel F\"{a}hndrich and Mark Aiken and Chris Hawblitzel and Orion Hodson and Galen Hunt and James~R. Larus and Steven Levi",
 year         = "2006",
 title        = "Language support for fast and reliable message-based communication in {Singularity} OS",
 booktitle    = "EuroSys",
 publisher    = "ACM",
 pages        = "177--190",
 url          = "http://doi.acm.org/10.1145/1217935.1217953",
)
@unknown(Sassone,
 author       = "Adrian Francalanza and Julian Rathke and Vladimiro Sassone",
 year         = "2011",
 title        = "Permission-Based Separation Logic for Message-Passing Concurrency",
 journal      = "CoRR",
 volume       = "abs/1106.5128",
 url          = "http://arxiv.org/abs/1106.5128",
)
@unknown(Giunti2011,
 author       = "Marco Giunti",
 year         = "2011",
 title        = "A type checking algorithm for qualified session types",
 booktitle    = "WWV",
 series       = "EPTCS",
 volume       = "61",
 pages        = "96--114",
 url          = "http://dx.doi.org/10.4204/EPTCS.61.7",
)
@unknown(GiuntiV10,
 author       = "Marco Giunti and Vasco~Thudichum Vasconcelos",
 year         = "2010",
 title        = "A Linear Account of Session Types in the Pi Calculus",
 booktitle    = "CONCUR",
 series       = "LNCS",
 volume       = "6269",
 pages        = "432--446",
 url          = "http://dx.doi.org/10.1007/978-3-642-15375-4_30",
)
@unknown(Gotsman,
 author       = "Alexey Gotsman and Josh Berdine and Byron Cook and Noam Rinetzky and Mooly Sagiv",
 year         = "2007",
 title        = "Local Reasoning for Storable Locks and Threads",
 booktitle    = "APLAS",
 series       = "LNCS",
 volume       = "4807",
 pages        = "19--37",
 url          = "http://dx.doi.org/10.1007/978-3-540-76637-7_3",
)
@unknown(Hobor:ESOP2011,
 author       = "Aquinas Hobor and Cristian Gherghina",
 year         = "2011",
 title        = "Barriers in Concurrent Separation Logic",
 booktitle    = "ESOP",
 series       = "LNCS",
 volume       = "6602",
 publisher    = "Springer",
 pages        = "276--296",
 url          = "http://dx.doi.org/10.1007/978-3-642-19718-5_15",
)
@unknown(SessionJ,
 author       = "Raymond Hu and Nobuko Yoshida and Kohei Honda",
 year         = "2008",
 title        = "Session-Based Distributed Programming in {Java}",
 booktitle    = "ECOOP",
 volume       = "5142",
 publisher    = "Springer",
 pages        = "516--541",
 url          = "http://dx.doi.org/10.1007/978-3-540-70592-5_22",
)
@unknown(singularity,
 author       = "Galen~C. Hunt and James~R. Larus",
 year         = "2007",
 title        = "Singularity: rethinking the software stack",
 journal      = "Operating Systems Review",
 volume       = "41",
 number       = "2",
 pages        = "37--49",
 url          = "http://doi.acm.org/10.1145/1243418.1243424",
)
@unknown(SessionTypes,
 author       = "Honda Kohei and Thudichum~Vasconcelos Vasco and Kubo Makoto",
 year         = "1998",
 title        = "Language Primitives and Type Discipline for Structured Communication-Based Programming",
 booktitle    = "ESOP",
 series       = "LNCS",
 volume       = "1381",
 pages        = "122--138",
 url          = "http://dx.doi.org/10.1007/BFb0053567",
)
@unknown(Leino:ESOP2010,
 author       = "K.~Rustan~M. Leino and Peter M{\"u}ller and Jan Smans",
 year         = "2010",
 title        = "Deadlock-Free Channels and Locks",
 booktitle    = "ESOP",
 series       = "LNCS",
 volume       = "6012",
 pages        = "407--426",
 url          = "http://dx.doi.org/10.1007/978-3-642-11957-6_22",
)
@unknown(ws-fm11,
 author       = "{\'E}tienne Lozes and Jules Villard",
 year         = "2011",
 title        = "Reliable Contracts for Unreliable Half-Duplex Communications",
 booktitle    = "WS-FM",
 series       = "LNCS",
 volume       = "7176",
 publisher    = "Springer",
 pages        = "2--16",
 url          = "http://dx.doi.org/10.1007/978-3-642-29834-9_2",
)
@unknown(lsv-11-23,
 author       = "{\'E}tienne Lozes and Jules Villard",
 year         = "2011",
 title        = "Sharing Contract-Obedient Endpoints",
 type         = "Research Report",
 number       = "LSV-11-23",
 institution  = "Laboratoire Sp{\'e}cification et V{\'e}rification, ENS Cachan, France",
 url          = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/rr-lsv-2011-23.pdf",
 note         = "42~pages",
)
@unknown(Merro-phd,
 author       = "Massimo Merro",
 year         = "2000",
 title        = "Locality in the pi-calculus and applications to distributed objects",
 type         = "Ph.D. thesis",
 school       = "Ecole des Mines de Paris",
)
@unknown(OHearn04,
 author       = "Peter~W. O'Hearn",
 year         = "2004",
 title        = "Resources, Concurrency and Local Reasoning",
 booktitle    = "CONCUR",
 series       = "LNCS",
 volume       = "3170",
 publisher    = "Springer",
 pages        = "49--67",
 url          = "http://dx.doi.org/10.1007/978-3-540-28644-8_4",
)
@unknown(st-orig,
 author       = "Kaku Takeuchi and Kohei Honda and Makoto Kubo",
 year         = "1994",
 title        = "An Interaction-Based Language and its Typing System",
 booktitle    = "PARLE",
 volume       = "817",
 publisher    = "Springer",
 pages        = "398--413",
 url          = "http://dx.doi.org/10.1007/3-540-58184-7_118",
)
@unknown(Ricain,
 author       = "Aaron~Joseph Turon and Mitchell Wand",
 year         = "2011",
 title        = "A resource analysis of the pi-calculus",
 journal      = "CoRR",
 volume       = "abs/1105.0966",
 url          = "http://arxiv.org/abs/1105.0966",
)
@unknown(csl-viktor-11,
 author       = "Viktor Vafeiadis",
 year         = "2011",
 title        = "Concurrent Separation Logic and Operational Semantics",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "276",
 pages        = "335--351",
 url          = "http://dx.doi.org/10.1016/j.entcs.2011.09.029",
)
@unknown(Villard-thesis,
 author       = "Jules Villard",
 year         = "2011",
 title        = "Heaps and Hops",
 type         = "Ph.D. thesis",
 school       = "\'Ecole Normale Sup\'erieure de Cachan",
)
@unknown(VLC-aplas09,
 author       = "Jules Villard and {\'E}tienne Lozes and Cristiano Calcagno",
 year         = "2009",
 title        = "Proving Copyless Message Passing",
 booktitle    = "APLAS",
 series       = "LNCS",
 volume       = "5904",
 pages        = "194--209",
 url          = "http://dx.doi.org/10.1007/978-3-642-10672-9_15",
)