From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

From C to interaction trees: specifying, verifying, and testing a networked server.

N. Koh, Y. Li, Y. Li, L. yao Xia, L. Beringer, W. Honoré, W. Mansky, B. Pierce, и S. Zdancewic. CPP, стр. 234-248. ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Benjamin C Schefer

Morgan Pierce

Byron J. Pierce

Chad T Pierce

Guido C C Clinckspoor

Другие публикации лиц с тем же именем

A Taste of Category Theory for Computer ScientistsB. Pierce. CMU-CS-88-203. Computer Science Department, Carnegie Mellon University, (1988)Featherweight Firefox: Formalizing the Core of a Web Browser.A. Bohannon, и B. Pierce. WebApps, USENIX Association, (2010)A Record Calculus Based on Symmetric Concatenation.R. Harper, и B. Pierce. POPL, стр. 131-142. ACM Press, (1991)On Inner Classes.A. Igarashi, и B. Pierce. ECOOP, том 1850 из Lecture Notes in Computer Science, стр. 129-153. Springer, (2000)Explicit Secrecy: A Policy for Taint Tracking.D. Schoepe, M. Balliu, B. Pierce, и A. Sabelfeld. EuroS&P, стр. 15-30. IEEE, (2016)Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data.M. Greenwald, S. Khanna, K. Kunal, B. Pierce, и A. Schmitt. DISC, том 4167 из Lecture Notes in Computer Science, стр. 269-283. Springer, (2006)Concurrent Objects in a Process Calculus.B. Pierce. Theory and Practice of Parallel Programming, том 907 из Lecture Notes in Computer Science, стр. 187-215. Springer, (1994)XDuce: A Typed XML Processing Language (Preliminary Report).H. Hosoya, и B. Pierce. WebDB (Selected Papers), том 1997 из Lecture Notes in Computer Science, стр. 226-244. Springer, (2000)A Formal Investigation of.S. Khanna, K. Kunal, и B. Pierce. FSTTCS, том 4855 из Lecture Notes in Computer Science, стр. 485-496. Springer, (2007)Mechanized Metatheory for the Masses: The PoplMark Challenge.B. Aydemir, A. Bohannon, M. Fairbairn, J. Foster, B. Pierce, P. Sewell, D. Vytiniotis, G. Washburn, S. Weirich, и S. Zdancewic. TPHOLs, том 3603 из Lecture Notes in Computer Science, стр. 50-65. Springer, (2005)

BibSonomy

Disambiguation