( en | de | ru )

 

Disambiguierung von "Hoare, Tony"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Unification of theories: A challenge for computing science

. (1996)
DOI: 10.1007/3-540-61629-2_35

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mohamed Ahmed Tony Ahmed Marzok

Hans-Peter Tony

Didier Hoareau

Charlotte Hoareau

Tony Franken

 

Weitere Publikationen von Autoren mit dem selben Namen

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