Linear Logical Relations for Session-Based Concurrency
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho
Linear Logical Relations for Session-Based Concurrency
ESOP, 2012.

ESOP 2012
Full names Links ISxN
	author        = "Jorge A. Pérez and Luís Caires and Frank Pfenning and Bernardo Toninho",
	booktitle     = "{Proceedings of the 21st European Symposium on Programming}",
	doi           = "10.1007/978-3-642-28869-2_27",
	editor        = "Helmut Seidl",
	isbn          = "978-3-642-28868-5",
	pages         = "539--558",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Linear Logical Relations for Session-Based Concurrency}",
	volume        = 7211,
	year          = 2012,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.