Autor der Publikation

Compiling occam to C with Tock.

. CPA, Volume 65 von Concurrent Systems Engineering Series, Seite 511. IOS Press, (2007)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Video Processing in occam-pi., , und . CPA, Volume 64 von Concurrent Systems Engineering Series, Seite 311-329. IOS Press, (2006)Idea-Caution Before Exploitation: The Use of Cybersecurity Domain Knowledge to Educate Software Engineers Against Software Vulnerabilities., , , und . ESSoS, Volume 10379 von Lecture Notes in Computer Science, Seite 133-142. Springer, (2017)Multicore Scheduling for Lightweight Communicating Processes., , und . COORDINATION, Volume 5521 von Lecture Notes in Computer Science, Seite 163-183. Springer, (2009)Lazy Cellular Automata with Communicating Processes., , und . CPA, Volume 63 von Concurrent Systems Engineering Series, Seite 165-175. IOS Press, (2005)Process-Oriented Patterns for Concurrent Software Engineering.. University of Kent, UK, (2008)British Library, EThOS.Two-Way Protocols for occam-pi.. CPA, Volume 66 von Concurrent Systems Engineering Series, Seite 85-97. IOS Press, (2008)Process-Oriented Building Blocks.. CPA, Seite 215-216. Open Channel Publishing Ltd., (2012)Alloy: fast generic transformations for Haskell., und . Haskell, Seite 105-116. ACM, (2009)Compiling occam to C with Tock.. CPA, Volume 65 von Concurrent Systems Engineering Series, Seite 511. IOS Press, (2007)Barrier Synchronisation for occam-pi., , und . PDPTA, Seite 173-179. CSREA Press, (2005)