Succinct Representation of Concurrent Trace Sets
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach
Succinct Representation of Concurrent Trace Sets
POPL, 2015.

POPL 2015
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{POPL-2015-GuptaHRST,
	author        = "Ashutosh Gupta and Thomas A. Henzinger and Arjun Radhakrishna and Roopsha Samanta and Thorsten Tarrach",
	booktitle     = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}",
	doi           = "10.1145/2676726.2677008",
	isbn          = "978-1-4503-3300-9",
	pages         = "433--444",
	publisher     = "{ACM}",
	title         = "{Succinct Representation of Concurrent Trace Sets}",
	year          = 2015,
}

Tags:



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.