( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Why ever CSP?

. Electronic Notes in Theoretical Computer Science, (сентября 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.

Mohamed Ahmed Tony Ahmed Marzok

Hans-Peter Tony

Didier Hoareau

Charlotte Hoareau

Tony Franken

 

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

Fine-grain Concurrency.. CPA, том 65 из Concurrent Systems Engineering Series, стр. 1-19. IOS Press, (2007)Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project, и . (2008)Why ever CSP?. Electronic Notes in Theoretical Computer Science, (сентября 2006)Unification of theories: A challenge for computing science. (1996)Why ever CSP?. Electronic Notes in Theoretical Computer Science, (сентября 2006)Fine-grain concurrency.. Concurr. Comput. Pract. Exp., 22 (8): 912-934 (2010)The laws of programming unify process calculi., и . Sci. Comput. Program., (2014)Generic Models of the Laws of Programming.. Theories of Programming and Formal Methods, том 8051 из Lecture Notes in Computer Science, стр. 213-226. Springer, (2013)Separation Logic Semantics for Communicating Processes., и . FICS, том 212 из Electronic Notes in Theoretical Computer Science, стр. 3-25. Elsevier, (2008)Science and Engineering: A Collusion of Cultures.. DSN, стр. 2-9. IEEE Computer Society, (2007)