JCSPre: the Robot Edition to Control LEGO NXT Robots
暂无分享,去创建一个
Jon M. Kerridge | Alex Panayotopoulos | Patrick Lismore | J. Kerridge | A. Panayotopoulos | Patrick Lismore
[1] Corporate Inmos Limited. Communicating Process Architecture , 1989 .
[2] Jeremy M. R. Martin,et al. Formal Analysis of Concurrent Java Systems , 2000 .
[3] Michael Poppleton,et al. JCSProB: Implementing Integrated Formal Specifications in Concurrent Java , 2007, CPA.
[4] Georgios K. Theodoropoulos,et al. Modelling and distributed simulation of asynchronous hardware , 2000, Simul. Pract. Theory.
[5] Espen Suenson,et al. trancell - an Experimental ETC to Cell BE Translator , 2007, CPA.
[6] Carl G. Ritson,et al. A process-oriented architecture for complex system modelling , 2010, Concurr. Comput. Pract. Exp..
[7] Wilson Ifill,et al. PyCSP-Communicating Sequential Processes for Python , 2007 .
[8] Neil Brown,et al. Integrating and Extending JCSP , 2007 .
[9] Jonathan Simpson,et al. A Native Transterpreter for the LEGO Mindstorms RCX , 2007, CPA.
[10] Neil Brown,et al. C++CSP2: A Many-to-Many Threading Model for Multicore Architectures , 2007, CPA.
[11] Matthew C. Jadud,et al. Native Code Generation Using the Transterpreter , 2006 .