Author of the publication

Mobile Barriers for occam-pi: Semantics, Implementation and Application.

, and . CPA, volume 63 of Concurrent Systems Engineering Series, page 289-316. IOS 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

Image Tracking in Real-time: A Transputer Emulation of Some Early Mammalian Vision Processes., and . BMVC, page 1-10. BMVA Press, (1992)Unfinished Business - occam-pi².. CPA, Open Channel Publishing Ltd., (2012)Image tracking in real-time: a transputer emulation of some early mammalian vision processes., and . Image Vis. Comput., 11 (4): 221-228 (1993)Prioritised dynamic communicating and mobile processes., and . IEE Proc. Softw., 150 (2): 121-136 (2003)Through the Concurrency Gateway: a Challenge from the Near Future of Graphics Hardware.. EGPGV, page 17-22. (2004)Topic 9: Parallel Programming: Models, Methods and Languages., , , and . Euro-Par, volume 4128 of Lecture Notes in Computer Science, page 603. Springer, (2006)Adding Formal Verification to occam-π., , , , and . CPA, volume 68 of Concurrent Systems Engineering Series, page 379. IOS Press, (2011)Communicating Mobile Processes: Introducing occam-pi, and . Communicating Sequential Processes. The First 25 Years, volume 3525 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/11423348_10.(April 2005)Santa Claus: Formal analysis of a process-oriented solution., and . ACM Trans. Program. Lang. Syst., 32 (4): 14:1-14:37 (2010)Using Java for Parallel Computing: JCSP versus CTJ, a Comparison, , and . Communicating Process Architectures 2000, page 205--226. (2000)