( en | de | ru )

 

Disambiguation of "Hoare, Tony"

Author of the publication

copydeleteadd this publication to your clipboard
Why ever CSP?

. Electronic Notes in Theoretical Computer Science, (September 2006)
DOI: 10.1016/j.entcs.2006.01.031

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.

Mohamed Ahmed Tony Ahmed Marzok

Hans-Peter Tony

Charlotte Hoareau

Didier Hoareau

Tony Franken

 

Other publications of authors with the same name

Fine-grain concurrency.. Concurr. Comput. Pract. Exp., 22 (8): 912-934 (2010)Why ever CSP?. Electronic Notes in Theoretical Computer Science, (September 2006)Why ever CSP?. Electronic Notes in Theoretical Computer Science, (September 2006)Unification of theories: A challenge for computing science. (1996)Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project, and . (2008)Fine-grain Concurrency.. CPA, volume 65 of Concurrent Systems Engineering Series, page 1-19. IOS Press, (2007)Separation Logic Semantics for Communicating Processes., and . FICS, volume 212 of Electronic Notes in Theoretical Computer Science, page 3-25. Elsevier, (2008)Why ever CSP?. APC 25, volume 162 of Electronic Notes in Theoretical Computer Science, page 209-215. Elsevier, (2005)The laws of programming unify process calculi., and . Sci. Comput. Program., (2014)Generic Models of the Laws of Programming.. Theories of Programming and Formal Methods, volume 8051 of Lecture Notes in Computer Science, page 213-226. Springer, (2013)