PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Hoare, Tony"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic.

, , und . UTP, Volume 11885 von Lecture Notes in Computer Science, Seite 3-21. Springer, (2019)

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.

Keine Personen gefunden für den Autorennamen Hoare, Tony
Eine Person hinzufügen mit dem Namen Hoare, Tony
 

Weitere Publikationen von Autoren mit dem selben Namen

The laws of programming unify process calculi., und . Sci. Comput. Program., (2014)Fine-grain concurrency.. Concurrency and Computation: Practice and Experience, 22 (8): 912-934 (2010)Fine-grain Concurrency.. CPA, Volume 65 von Concurrent Systems Engineering Series, Seite 1-19. IOS Press, (2007)Science and Engineering: A Collusion of Cultures.. DSN, Seite 2-9. IEEE Computer Society, (2007)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)Why ever CSP?. Electron. Notes Theor. Comput. Sci., (2006)Separation Logic Semantics for Communicating Processes., und . Electron. Notes Theor. Comput. Sci., (2008)The Ideal of Program Correctness: Third Computer Journal Lecture.. Comput. J., 50 (3): 254-260 (2007)Algebra of concurrent design.. FMCAD, Seite 5. IEEE, (2012)Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project., und . VSTTE, Volume 4171 von Lecture Notes in Computer Science, Seite 1-18. Springer, (2005)