( en | de | ru )

 

Disambiguation of "Jr., Thomas W. Doeppner"

Author of the publication

copydeleteadd this publication to your clipboard
Parallel Program Correctness Through Refinement.

. POPL, page 155-169. ACM, (1977)

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. You can also use the button next to the name to display some publications already assigned to the person.

Foued Jrad

Robert Jr Cramer

Thomas W Mächtel

Thomas W Scheiber

Thomas W Becker

 

Other publications of authors with the same name

Toward a Formally Based Programming Environment., , and . ECICS, page 363-374. North-Holland, (1982)IDEOSY: An Ideographic and Interactive Program Description System., , and . Software Development Environments (SDE), page 15-20. ACM, (1984)SIGPLAN Notices 19 (5), May 1984.On Abstractions of Parallel Programs. STOC, page 65-72. ACM, (1976)Distributed File Systems and Distributed Memory.. ACM Comput. Surv., 28 (1): 229-231 (1996)Distributed File Systems and Distributed Memory.. The Computer Science and Engineering Handbook, CRC Press, (1997)Distributed File Systems.. Computing Handbook, 3rd ed. (1), CRC Press, (2014)ThreadMon: A Tool for Monitoring Multithreaded Program Performance., and . HICSS (1), page 253-265. IEEE Computer Society, (1997)Parallel Program Correctness Through Refinement.. POPL, page 155-169. ACM, (1977)Using router stamping to identify the source of IP packets., , and . ACM Conference on Computer and Communications Security, page 184-189. ACM, (2000)A Formal Description of the UNIX Operating System., and . PODC, page 241-253. ACM, (1983)