Author of the publication

Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid.

, , and . PDPTA, page 201-207. CSREA Press, (2005)

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.

 

Other publications of authors with the same name

Interfacing C and occam-pi.. CPA, volume 63 of Concurrent Systems Engineering Series, page 249-260. IOS Press, (2005)A Process Oriented Approach to USB Driver Development., and . CPA, volume 65 of Concurrent Systems Engineering Series, page 323-338. IOS Press, (2007)A CSP Model for Mobile Channels., and . CPA, volume 66 of Concurrent Systems Engineering Series, page 17-33. IOS Press, (2008)Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid., , and . PDPTA, page 201-207. CSREA Press, (2005)Multicore Scheduling for Lightweight Communicating Processes., , and . COORDINATION, volume 5521 of Lecture Notes in Computer Science, page 163-183. Springer, (2009)Mobile Barriers for occam-pi: Semantics, Implementation and Application., and . CPA, volume 63 of Concurrent Systems Engineering Series, page 289-316. IOS Press, (2005)Lazy Cellular Automata with Communicating Processes., , and . CPA, volume 63 of Concurrent Systems Engineering Series, page 165-175. IOS Press, (2005)Approaches to General Purpose GPU Acceleration of Digital Signal Processing in Optical Coherence Tomography Systems., , , and . SMC, page 2576-2580. IEEE, (2013)Prioritised dynamic communicating and mobile processes., and . IEE Proc. Softw., 150 (2): 121-136 (2003)Adding Formal Verification to occam-π., , , , and . CPA, volume 68 of Concurrent Systems Engineering Series, page 379. IOS Press, (2011)