Skip to main content
Kent Academic Repository

Items where Author, Editor or other role is "Barnes, Frederick"

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: B | D | J | K | P | R | S | W
Number of items: 60.

B

Bradu, Adrian and Kapinchev, Konstantin and Barnes, Frederick and Podoleanu, Adrian Gh. (2016) En-face optical coherence tomography revival. In: Todea, Darinca Carmen and Podoleanu, Adrian G.H. and Duma, Virgil-Florin, eds. Fifth Congress of the World Federation for Laser Dentistry and Sixth International Conference on Lasers in Medicine: High-end Medicine Based on Laser and Biotechnologies. Proceedings of SPIE, 16 (62). SPIE, Bellingham, Washington. ISBN 978-1-62841-893-4. (doi:10.1117/12.2191541) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:60012)

Bradu, Adrian and Kapinchev, Konstantin and Barnes, Frederick and Podoleanu, Adrian (2016) In-vivo, real-time cross-sectional images of retina using a GPU enhanced master slave optical coherence tomography system. In: Manns, Fabrice and Söderberg, Per G. and Ho, Arthur, eds. Ophthalmic Technologies XXVI. Proceedings of SPIE, 17 (5). SPIE Society of Photo-Optical Instrumentation Engineers, Bellingham, Washington. ISBN 978-1-62841-927-6. (doi:10.1117/12.2211072) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:60029)

Bradu, Adrian, Kapinchev, Konstantin, Barnes, Frederick, Podoleanu, Adrian (2015) Master slave en-face OCT/SLO. Biomedical Optics Express, 6 (9). pp. 3655-3669. E-ISSN 2156-7085. (doi:10.1364/BOE.6.003655) (KAR id:50336)
Format: PDF

Barnes, Frederick R.M. (2015) Guppy: Process-Oriented Programming on Embedded Devices. In: Chalmers, Kevin and Pedersen, Jan B. and Welch, Peter H. and Broenink, Jan and Sampson, Adam T. and Ivimey-Cook, Ruth and Barnes, Frederick R.M., eds. Proceedings of Communicating Process Architectures 2015. . (KAR id:50306)
Format: PDF

Bradu, Adrian and Kapinchev, Konstantin and Barnes, Fred and Garway-Heath, David F. and Rajendram, Ranjan and Keane, Pearse and Podoleanu, Adrian Gh. (2015) Real-Time calibration-free C-scan images of the eye fundus using Master Slave swept source optical coherence tomography. In: Ophthalmic Technologies XXV. Proceedings of SPIE . SPIE, Bellingham, Washington. ISBN 978-1-62841-397-7. (doi:10.1117/12.2078956) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:50234)

Bradu, Adrian and Kapinchev, Konstantin and Barnes, Fred and Podoleanu, Adrian G.H. (2015) Master-slave optical coherence tomography for parallel processing, calibration free and dispersion tolerance operation. In: Optical Coherence Tomography and Coherence Domain Optical Methods in Biomedicine XIX. Proceedings of SPIE . SPIE. ISBN 978-1-62841-402-8. (doi:10.1117/12.2078094) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:49264)

Barnes, Frederick R.M. and Pressnell, Thomas and Le Foll, Brendan (2013) Exploring GPGPU Acceleration of Process-Oriented Simulations. In: Welch, Peter H. and Barnes, Frederick R.M. and Broenink, Jan F. and Chalmers, Kevin and Pedersen, Jan B. and Sampson, Adam T., eds. Communicating Process Architectures 2013 Proceedings of the 35th WoTUG Technical Meeting. Open Channel Publishing, pp. 249-262. ISBN 978-0-9565409-7-3. (KAR id:36779)
Format: PDF

Barnes, Frederick R.M., Ritson, Carl G. (2010) Process-Oriented Device Driver Development. Concurrency and Computation: Practice and Experience, 22 (8). pp. 182-196. ISSN 1532-0634. (doi:10.1002/cpe.1428) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30664)

Barnes, Frederick R.M., Ritson, Carl G. (2009) Checking Process-Oriented Operating System Behaviour using CSP and Refinement. SIGOPS Operating Systems Review, 43 (4). pp. 182-196. ISSN 0163-5980. (doi:10.1145/1713254.1713265) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30568)

Barnes, Frederick R.M. (2009) Mobile Escape Analysis for occam-pi. In: Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian, eds. Communicating Process Architectures 2009. Concurrent Systems Engineering . IOS Press, pp. 182-196. ISBN 978-1-60750-065-0. E-ISBN 978-1-60750-513-6. (doi:10.3233/978-1-60750-065-0-117) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30575)

Brown, Neil C.C. (2008) Communicating Haskell Processes: Composable Explicit Concurrency Using Monads. In: Welch, Peter H. and Stepney, S. and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardiner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 67-83. ISBN 978-1-58603-907-3. E-ISBN 978-1-60750-368-2. (doi:10.3233/978-1-58603-907-3-67) (KAR id:24103)
Format: PDF

Bjørndalen, John Markus and Sampson, Adam T. (2008) Process-Oriented Collective Operations. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 309-328. ISBN 978-1-58603-907-3. E-ISBN 978-1-60750-368-2. (doi:10.3233/978-1-58603-907-3-309) (KAR id:24102)
Format: PDF

Brown, Neil C.C. and Smith, Marc L. (2008) Representation and Implementation of CSP and VCR Traces. In: Welch, Peter H. and Stepney, S. and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardiner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 329-345. ISBN 978-1-58603-907-3. E-ISBN 978-1-60750-368-2. (doi:10.3233/978-1-58603-907-3-329) (KAR id:24104)
Format: PDF

Barnes, Frederick R.M. (2006) Compiling CSP. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006. Concurrent Systems Engineering . IOS Press, pp. 377-388. ISBN 978-1-58603-671-3. E-ISBN 978-1-60750-205-0. (KAR id:14415)
Format: PDF

Barnes, Frederick R.M. (2005) Interfacing C and occam-pi. In: Broenink, Jan F. and Roebbers, Herman W. and Sunter, J.P.E. and Welch, Peter H. and Wood, David C., eds. Communicating Process Architectures 2005. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 249-260. ISBN 978-1-58603-561-7. E-ISBN 978-1-60750-144-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14270)

Barnes, Frederick R.M. and Welch, Peter H. and Sampson, Adam T. (2005) Barrier Synchronisation for occam-pi. In: Arabnia, Hamid R., ed. Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications. CSREA Press, Las Vegas, Nevada, USA, pp. 173-179. ISBN 1-932415-58-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14305)

Barnes, Frederick R.M. and Welch, Peter H. (2004) Communicating Mobile Processes. In: East, Ian R. and Martin, Jeremy and Welch, Peter H. and Duce, David and Green, Mark, eds. Communicating Process Architectures 2004. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 201-218. ISBN 978-1-58603-458-0. (KAR id:14107)
Format: PDF

Barnes, Frederick R.M. and Jacobsen, Christian L. and Vinter, Brian (2003) RMoX: A Raw-Metal occam Experiment. In: Broenink, Jan F. and Hilderink, Gerald H., eds. Communicating Process Architectures 2003. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 269-288. ISBN 978-1-58603-381-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13917)

Barnes, Frederick R.M. (2003) occwserv: An occam Web-Server. In: Broenink, Jan F. and Hilderink, Gerald H., eds. Communicating Process Architectures 2003. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 251-268. ISBN 978-1-58603-381-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13916)

Barnes, Frederick R.M. (2003) Dynamics and Pragmatics for High Performance Concurrency. Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury. (KAR id:13969)
Format: PDF

Barnes, Frederick R.M., Welch, Peter H. (2003) Prioritised Dynamic Communicating and Mobile Processes. IEE Proceedings: Software, 150 (2). pp. 121-136. ISSN 1462-5970. (doi:10.1049/ip-sen:20030182) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13996)

Barnes, Frederick R.M. and Welch, Peter H. (2002) Prioritised Dynamic Communicating Processes: Part 1. In: Pascoe, James and Welch, Peter H. and Loader, Roger and Sunderam, Vaidy, eds. Communicating Process Architectures 2002. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 321-352. ISBN 978-1-58603-268-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13728)

Barnes, Frederick R.M. and Welch, Peter H. (2002) Prioritised Dynamic Communicating Processes: Part 2. In: Pascoe, James and Welch, Peter H. and Loader, Roger and Sunde, Vaidy, eds. Communicating Process Architectures 2002. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 353-370. ISBN 978-1-58603-268-5. (KAR id:13734)
Format: PDF Format: Postscript

Barnes, Frederick R.M., Beuran, R., Dobinson, R.W., LeVine, M.J., Martin, B., Lokier, J., Meirosu, C. (2002) Testing Ethernet Networks for the ATLAS Data Collection System. IEEE Transactions on Nuclear Science, 49 (2). pp. 516-520. ISSN 0018-9499. (doi:10.1109/TNS.2002.1003791) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13800)

Barnes, Frederick R.M. and Welch, Peter H. (2001) Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment. In: Chalmers, Alan and Mirmehdi, Majid and Muller, Henk, eds. Communicating Process Architectures 2001. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 243-264. ISBN 978-1-58603-202-9. (KAR id:13552)
Format: PDF Format: Postscript

Barnes, Frederick R.M. (2001) tranx86 -- an Optimising ETC to IA32 Translator. In: Chalmers, Alan and Mirmehdi, Majid and Muller, Henk, eds. Communicating Process Architectures 2001. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 265-282. ISBN 978-1-58603-202-9. (KAR id:13553)
Format: PDF Format: Postscript

Barnes, Frederick R.M. (2000) Blocking System Calls in KRoC/Linux. In: Welch, Peter H. and Bakkers, A.W.P., eds. Communicating Process Architectures 2000. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 155-178. ISBN 978-1-58603-077-3. (KAR id:21966)
Format: PDF Format: Postscript

D

Dimmich, Damian J. and Jacobsen, Christian L. and Jadud, Matthew C. (2006) A Cell Transterpreter. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 215-224. ISBN 978-1-58603-671-3. E-ISBN 978-1-60750-205-0. (KAR id:14411)
Format: PDF

J

Jacobsen, Christian L. and Dimmich, Damian J. and Jadud, Matthew C. (2006) Native Code Generation Using the Transterpreter. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 269-281. ISBN 978-1-58603-671-3. E-ISBN 978-1-60750-205-0. (KAR id:14410)
Format: PDF

K

Kapinchev, Konstantin (2017) Scalable Parallel Optimization of Digital Signal Processing in the Fourier Domain. Doctor of Philosophy (PhD) thesis, University of Kent. (KAR id:61075)
Format: PDF

Kapinchev, Konstantin and Bradu, Adrian and Barnes, Frederick and Podoleanu, Adrian (2016) Coarse-grained and fine-grained parallel optimization for real-time en-face OCT imaging. In: Izatt, Joseph A. and Fujimoto, James G. and Tuchin, Valery V., eds. Optical Coherence Tomography and Coherence Domain Optical Methods in Biomedicine XX. Proceedings of SPIE, 17 (9). SPIE, Bellingham, Washington. ISBN 978-1-62841-931-3. (doi:10.1117/12.2209560) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:60038)

Kapinchev, Konstantin and Bradu, Adrian and Barnes, Frederick and Podoleanu, Adrian (2015) GPU implementation of cross-correlation for image generation in real time. In: Wysocki, Tadeusz A. and Wysocki, Beata J., eds. 2015 9th International Conference on Signal Processing and Communication Systems (ICSPCS). IEEE, pp. 1-6. E-ISBN 978-1-4673-8118-5. (doi:10.1109/ICSPCS.2015.7391783) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:60084)

Kapinchev, Konstantin I., Barnes, Frederick R.M., Bradu, Adrian, Podoleanu, Adrian G.H. (2013) Approaches to General Purpose GPU Acceleration of Digital Signal Processing in Optical Coherence Tomography Systems. In: IEEE International Conference on Systems, Man and Cybernetics, 13-16 Oct 2013, Manchester, UK. (doi:10.1109/SMC.2013.440) (KAR id:37009)
Format: PDF

Kapinchev, Konstantin and Barnes, Frederick R.M. and Bradu, Adrian and Podoleanu, Adrian G.H. (2013) Approaches to general purpose GPU acceleration of digital signal processing in optical coherence tomography systems. In: 2013 IEEE International Conference on Systems, Man, and Cybernetics. IEEE, pp. 2576-2580. ISBN 978-1-4799-0652-9. (doi:10.1109/SMC.2013.440) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:49316)

P

Polack, Fiona A.C. and Stepney, Susan and Turner, Heather and Welch, Peter H. and Barnes, Frederick R.M. (2005) An Architecture for Modelling Emergence in CA-Like Systems. In: Capcarrere, Mathieu S. and Freitas, Alex A. and Bentley, Peter J. and Johnson, Colin G. and Timmis, Jon, eds. Advances in Artificial Life 8th European Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 427-436. ISBN 978-3-540-28848-0. E-ISBN 978-3-540-31816-3. (doi:10.1007/11553090_44) (KAR id:14272)
Format: PDF

R

Ritson, Carl G. and Barnes, Frederick R.M. (2013) An Evaluation of Intel's Restricted Transactional Memory for CPAs. In: Welch, Peter H. and Barnes, Frederick R.M. and Broenink, Jan F. and Chalmers, Kevin and Pedersen, Jan B. and Sampson, Adam T., eds. Communicating Process Architectures 2013 Proceedings of the 35th WoTUG Technical Meeting. Open Channel Publishing, pp. 271-291. ISBN 978-0-9565409-7-3. (KAR id:36939)
Format: PDF

Ritson, Carl G., Sampson, Adam T., Barnes, Frederick R.M. (2012) Multicore scheduling for lightweight communicating processes. Science of Computer Programming, 77 (6). pp. 727-740. ISSN 0167-6423. (doi:10.1016/j.scico.2011.04.006) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30808)

Ritson, Carl G. and Sampson, Adam T. and Barnes, Frederick R.M. (2009) Multicore Scheduling for Lightweight Communicating Processes. In: Field, John and Vasconcelos, Vasco Thudichum, eds. Coordination Models and Languages 11th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 163-183. ISBN 978-3-642-02052-0. E-ISBN 978-3-642-02053-7. (doi:10.1007/978-3-642-02053-7_9) (KAR id:24117)
Format: PDF

Ritson, Carl G. and Simpson, Jonathan (2008) Virtual Machine Based Debugging for occam-pi. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 293-307. ISBN 978-1-58603-907-3. E-ISBN 978-1-60750-368-2. (doi:10.3233/978-1-58603-907-3-293) (KAR id:24060)
Format: PDF

Ritson, Carl G. and Barnes, Frederick R.M. (2007) A Process Oriented Approach to USB Driver Development. In: McEwan, Alistair A. and Schneider, S.A. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007. Concurrent Systems Engineering Volume . IOS Press, pp. 323-338. ISBN 978-1-58603-767-3. (KAR id:14574)
Format: PDF

Ritson, Carl G. and Sampson, Adam T. and Barnes, Frederick R.M. (2006) Video Processing in occam-pi. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 311-329. ISBN 978-1-58603-671-3. E-ISBN 978-1-60750-205-0. (KAR id:14428)
Format: PDF

S

Simpson, Jonathan and Ritson, Carl G. (2009) Toward Process Architectures for Behavioural Robotics. In: Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian, eds. Communicating Process Architectures 2009. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 182-196. ISBN 978-1-60750-065-0. E-ISBN 978-1-60750-513-6. (doi:10.3233/978-1-60750-065-0-375) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30581)

Sampson, Adam T. (2008) Two-Way Protocols for occam-pi. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 85-97. ISBN 978-1-58603-907-3. E-ISBN 978-1-60750-368-2. (doi:10.3233/978-1-58603-907-3-85) (KAR id:24099)
Format: PDF

Simpson, Jonathan and Jacobsen, Christian L. (2008) Visual Process-oriented Programming for Robotics. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 365-380. ISBN 978-1-58603-907-3. E-ISBN 978-1-60750-368-2. (doi:10.3233/978-1-58603-907-3-365) (KAR id:24105)
Format: PDF

Simpson, Jonathan and Jacobsen, Christian L. and Jadud, Matthew C. (2006) Mobile Robot Control: The Subsumption Architecture and occam-pi. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 225-236. ISBN 978-1-58603-671-3. E-ISBN 978-1-60750-205-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24057)

Schweigler, Mario and Sampson, Adam T. (2006) pony - The occam-pi Network Environment. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Communicating Process Architectures 2006. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 77-108. ISBN 978-1-58603-671-3. E-ISBN 978-1-60750-205-0. (KAR id:14423)
Format: PDF

Sampson, Adam T. and Welch, Peter H. and Barnes, Frederick R.M. (2005) Lazy Cellular Automata with Communicating Processes. In: Broenink, Jan F. and Roebbers, Herman W. and Sunter, J.P.E. and Welch, Peter H. and Wood, David C., eds. Communicating Process Architectures 2005. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 165-175. ISBN 978-1-58603-561-7. E-ISBN 978-1-60750-144-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14264)

Schweigler, Mario and Barnes, Frederick R.M. and Welch, Peter H. (2003) Flexible, Transparent and Dynamic occam Networking with KRoC.net. In: Broenink, Jan F. and Hilderink, Gerald H., eds. Communicating Process Architectures 2003. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 199-224. ISBN 978-1-58603-381-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13920)

W

Welch, Peter H. and Barnes, Frederick R.M. and Pedersen, Jan B. and Sampson, Adam T., eds. (2012) Communicating Process Architectures 2012. Open Channel Publishing, 236 pp. ISBN 978-0-9565409-5-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:37000)

Welch, Peter H. and Sampson, Adam T. and Pedersen, Jan B. and Kerridge, Jon M. and Broenink, Jan F. and Barnes, Frederick R.M., eds. (2011) Communicating Process Architectures 2011. Concurrent Systems Engineering, 68 . IOS Press, Amsterdam, The Netherlands, 400 pp. ISBN 978-1-60750-773-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:37008)

Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian, eds. (2009) Communicating Process Architectures 2009. Concurrent Systems Engineering Series . IOS Press, Amsterdam, Netherlands ISBN 978-1-60750-065-0. E-ISBN 978-1-60750-513-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24979)

Welch, Peter H. and Barnes, Frederick R.M. (2008) A CSP Model for Mobile Channels. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 17-33. ISBN 978-1-58603-907-3. E-ISBN 978-1-60750-368-2. (doi:10.3233/978-1-58603-907-3-17) (KAR id:24002)
Format: PDF

Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. (2008) Communicating Process Architectures 2008. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands ISBN 978-1-58603-907-3. E-ISBN 978-1-60750-368-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24004)

Welch, Peter H. and Pedersen, Jan B. (2008) Santa Claus - with Mobile Reindeer and Elves. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 455-456. ISBN 978-1-58603-907-3. E-ISBN 978-1-60750-368-2. (doi:10.3233/978-1-58603-907-3-455) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24003)

Welch, Peter H., Barnes, Frederick R.M., Polack, Fiona A.C. (2006) Communicating Complex Systems. In: Hinchey, Michael G., ed. Engineering of complex computer systems; ICECCS 2006; proceedings. . pp. 107-117. IEEE Computer Society ISBN 0-7695-2530-X. (KAR id:14440)
Format: PDF

Welch, Peter H. and Barnes, Frederick R.M. (2005) Mobile Barriers for occam-pi: Semantics, Implementation and Application. In: Broenink, Jan F. and Roebbers, Herman W. and Sunter, J.P.E. and Welch, Peter H. and Wood, David C., eds. Communicating Process Architectures 2005. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 289-316. ISBN 978-1-58603-561-7. E-ISBN 978-1-60750-144-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14271)

Welch, Peter H. and Vinter, Brian and Barnes, Frederick R.M. (2005) Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid. In: Arabnia, Hamid R., ed. Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications. CSREA Press, Las Vegas, Nevada, USA, pp. 201-207. ISBN 1-932415-58-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14307)

Welch, Peter H. and Barnes, Frederick R.M. (2005) Communicating Mobile Processes: introducing occam-pi. In: Abdallah, Ali E. and Jones, Cliff B. and Sanders, Jeff W., eds. Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 175-210. ISBN 978-3-540-25813-1. E-ISBN 978-3-540-32265-8. (doi:10.1007/11423348_10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14334)

Welch, Peter H. and Barnes, Frederick R.M. (2001) Mobile Data Types for Communicating Processes. In: Arabnia, Hamid R., ed. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications. CSREA Press, pp. 20-26. ISBN 1-892512-71-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13605)

Wood, David C. and Barnes, Frederick R.M. (2000) Post-Mortem Debugging in KRoC. In: Welch, Peter H. and Bakkers, A.W.P., eds. Communicating Process Architectures 2000. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 179-191. ISBN 978-1-58603-077-3. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21964)

This list was generated on Fri Apr 19 19:28:02 2024 BST.