( en | de | ru )

 

Disambiguation of "Walker, David"

Author of the publication

copydeleteadd this publication to your clipboard
Objects in the pi-Calculus

. Inf. Comput., 116 (2): 253-271 (February 1995)

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.

David Walker

David Johannes Walker

Hans Walker

Horst Walker

Michael Walker

 

Other publications of authors with the same name

From System F to Typed Assembly Language, , , and . Twenty-Fifth ACM Symposium on Principles of Programming Languages, San Diego, CA, (January 1998)New Labour, and . The Struggle for Labour's Soul, Understanding Labour's political thought since 1945, chapter 17, Routledge, London and New York, (2004)Theory and Algorithms for Parallel Computation., and . Euro-Par, volume 1470 of Lecture Notes in Computer Science, page 863-864. Springer, (1998)Public Health Information Fusion for Situation Awareness., , and . BioSecure, volume 5354 of Lecture Notes in Computer Science, page 1-9. Springer, (2008)A Concurrent Logical Framework: The Propositional Fragment, , , and . Revised selected papers from the Third International Workshop on Types for Proofs and Programs, April 2003, Torino, page 355-377. Springer, (2004)SNAP: Stateful Network-Wide Abstractions for Packet Processing., , , , and . CoRR, (2015)Test Coverage for Network Configurations., , , , and . CoRR, (2022)Programming Protocol-Independent Packet Processors., , , , , , , , and . CoRR, (2013)Incremental consistent updates., , and . HotSDN, page 49-54. ACM, (2013)LearnPADS: automatic tool generation from ad hoc data., , and . SIGMOD Conference, page 1299-1302. ACM, (2008)