共 14 条
- [1] Barrier synchronisation for occam-pi PDPTA '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-3, 2005, : 173 - 179
- [2] Video Processing in occam-pi COMMUNICATING PROCESS ARCHITECTURES 2006: WOTUG-29, 2006, 64 : 311 - 329
- [4] Communicating mobile processes - Introducing occam-pi COMMUNICATING SEQUENTIAL PROCESSES: THE FIRST 25 YEARS, 2005, 3525 : 175 - 210
- [5] Mobile Barriers for occam-pi: Semantics, Implementation and Application COMMUNICATION PROCESS ARCHITECTURES 2005, 2005, 63 : 289 - 316
- [7] Mobile Robot Control The Subsumption Architecture and occam-pi COMMUNICATING PROCESS ARCHITECTURES 2006: WOTUG-29, 2006, 64 : 225 - 236
- [8] An occam-pi implementation of a verified distributed robust annealing algorithm PDPTA '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-3, 2005, : 208 - 214
- [9] Initial experiences with occam-pi simulations of blood clotting on the minimum intrusion grid PDPTA '05: Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications, Vols 1-3, 2005, : 201 - 207
- [10] Programming Real-time Autofocus on a Massively Parallel Reconfigurable Architecture using Occam-pi 2011 IEEE 19TH ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), 2011, : 194 - 201