( en | de | ru )

 

Disambiguation of "Ritson, Carl G."

Author of the publication

copydeleteadd this publication to your clipboard
A Process Oriented Approach to USB Driver Development.

, and . CPA, volume 65 of Concurrent Systems Engineering Series, page 323-338. IOS Press, (2007)

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.

Carl G Schmidt

Carl G Schmidt

Carl G Schmidt

Giuseppe G G Manzardo

G Vijayshankar

 

Other publications of authors with the same name

Multicore Scheduling for Lightweight Communicating Processes., , and . COORDINATION, volume 5521 of Lecture Notes in Computer Science, page 163-183. Springer, (2009)Object Store Based Simulation Interworking., , and . CPA, volume 68 of Concurrent Systems Engineering Series, page 243-253. IOS Press, (2011)Checking process-oriented operating system behaviour using CSP and refinement., and . PLOS@SOSP, page 1:1-1:5. ACM, (2009)Exploring garbage collection with haswell hardware transactional memory., , and . ISMM, page 105-115. ACM, (2014)An Evaluation of Intel's Restricted Transactional Memory for CPAs., and . CPA, page 271-292. Open Channel Publishing Ltd., (2013)A Process-Oriented Architecture for Complex System Modelling., and . CPA, volume 65 of Concurrent Systems Engineering Series, page 249-266. IOS Press, (2007)Shared-Memory Multi-Processor Scheduling Algorithms for CCSP.. CPA, volume 65 of Concurrent Systems Engineering Series, page 509. IOS Press, (2007)Virtual Machine Based Debugging for occam-pi, and . Communicating Process Architectures 2008, volume 66 of Concurrent Systems Engineering Series, page 293--307. Amsterdam, The Netherlands, IOS Press, (September 2008)Translating ETC to LLVM Assembly.. CPA, volume 67 of Concurrent Systems Engineering Series, page 145-158. IOS Press, (2009)Adding Formal Verification to occam-π., , , , and . CPA, volume 68 of Concurrent Systems Engineering Series, page 379. IOS Press, (2011)