Impredicative Concurrent Abstract Predicates. Svendsen, K. & Birkedal, L. In ESOP, pages 149-168, 2014. Springer.
bibtex   
@inproceedings{SvendsenB14,
	Author = {K. Svendsen and L. Birkedal},
	Booktitle = {ESOP},
	Organization = {Springer},
	Pages = {149-168},
	Title = {{Impredicative Concurrent Abstract Predicates}},
	Year = {2014}}

Downloads: 0