From post

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.

 

Другие публикации лиц с тем же именем

Communicating Mobile Processes: Introducing occam-pi, и . Communicating Sequential Processes. The First 25 Years, том 3525 из Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/11423348_10.(апреля 2005)Adding Formal Verification to occam-π., , , , и . CPA, том 68 из Concurrent Systems Engineering Series, стр. 379. IOS Press, (2011)Topic 9: Parallel Programming: Models, Methods and Languages., , , и . Euro-Par, том 4128 из Lecture Notes in Computer Science, стр. 603. Springer, (2006)Prioritised dynamic communicating and mobile processes., и . IEE Proc. Softw., 150 (2): 121-136 (2003)Through the Concurrency Gateway: a Challenge from the Near Future of Graphics Hardware.. EGPGV, стр. 17-22. (2004)Unfinished Business - occam-pi².. CPA, Open Channel Publishing Ltd., (2012)Image Tracking in Real-time: A Transputer Emulation of Some Early Mammalian Vision Processes., и . BMVC, стр. 1-10. BMVA Press, (1992)JCSP.net - A Network Extension for JCSP., , и . PDPTA, стр. 318-324. CSREA Press, (2002)Formal Analysis of Concurrent Java Systems, и . Communicating Process Architectures 2000, стр. 275--301. (2000)Mobile Processes and Call Channels with Variant Interfaces (a Duality)., и . CPA, том 68 из Concurrent Systems Engineering Series, стр. 377. IOS Press, (2011)