Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 158.

Pedersen, Jan B. and Welch, Peter H. (2017) The symbiosis of concurrency and verification: teaching and case studies. Formal Aspects of Computing, 30 (2). pp. 239-277. ISSN 0934-5043. (doi:https://doi.org/10.1007/s00165-017-0447-x) (Full text available)
[img]
Preview

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. (Full text available)
[img]
Preview

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. Open Channel Publishing pp. 271-291. ISBN 978-0-9565409-7-3. (Full text available)
[img]
Preview

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. Open Channel Publishing pp. 249-262. ISBN 978-0-9565409-7-3. (Full text available)
[img]
Preview

Welch, Peter H. (2013) Life of occam-Pi. In: Communicating Process Architectures 2013. Communicating Process Architectures 2013. Communicating Process Architectures. Open Channel Publishing Ltd pp. 293-318. ISBN 978-0-9565409-7-3. (Full text available)
[img]
Preview

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)

Welch, Peter H. and Wallnau, Kurt and Sampson, Adam T. and Klein, Mark (2012) To boldly go: an occam-pi mission to engineer emergence. Natural Computing, 11 (3). pp. 1-27. ISSN 1567-7818. (doi:https://doi.org/10.1007/s11047-012-9304-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)

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)

Welch, Peter H. and Pedersen, Jan B. (2010) Santa Claus: Formal analysis of a process-oriented solution. ACM Transactions on Programming Languages and Systems (TOPLAS), 32 (4). pp. 182-196. ISSN 0164-0925. (doi:https://doi.org/10.1145/1734206.1734211) (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)

Ritson, Carl G. and Welch, Peter H. (2010) A Process-Oriented Architecture for Complex System Modelling. Concurrency and Computation: Practice and Experience, 22 . pp. 182-196. (doi:https://doi.org/10.1002/cpe.1433) (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)

Welch, Peter H. and Brown, Neil C.C. and Moores, James and Chalmers, Kevin and Sputh, Bernhard H. C. (2010) Alting Barriers: Synchronisation with Choice in Java using JCSP. Concurrency and Computation: Practice and Experience, 22 . pp. 182-196. (doi:https://doi.org/10.1002/cpe.1471) (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)

Brown, Neil C.C. (2009) Auto-Mobiles: Optimised Message-Passing. 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, 67. IOS Press, Amsterdam, The Netherlands pp. 182-196. ISBN 978-1-60750-065-0. (Full text available)
[img]
Preview

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, 67. IOS Press pp. 182-196. ISBN 978-1-60750-065-0. (doi:https://doi.org/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)

Brown, Neil C.C. and Smith, Marc L. (2009) Relating and Visualising CSP, VCR and Structural Traces. 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, 67. IOS Press, Amsterdam, The Netherlands pp. 182-196. ISBN 978-1-60750-065-0. (Full text available)
[img]
Preview

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, 67. IOS Press, Amsterdam, The Netherlands pp. 182-196. ISBN 978-1-60750-065-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)

Bonnici, Eric and Welch, Peter H. (2009) Mobile Processes, Mobile Channels and Dynamic Systems. In: 2009 IEEE Congress on Evolutionary Computation (CEC 2009). IEEE Press pp. 232-239. ISBN 978-1-4244-2959-2. (Full text available)
[img]
Preview

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, Gardner S. and Vinter, Brian, eds. (2009) Communicating Process Architectures 2009. Concurrent Systems Engineering, 67 . IOS Press, Amsterdam, The Netherlands ISBN 978-1-60750-065-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)

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, 66. IOS Press, Amsterdam, The Netherlands pp. 17-33. ISBN 978-1-58603-907-3. (Full text available)
[img]
Preview

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, 66. IOS Press, Amsterdam, The Netherlands pp. 67-83. ISBN 978-1-58603-907-3. (Full text available)
[img]
Preview

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, 66 . IOS Press, Amsterdam, The Netherlands ISBN 978-1-58603-907-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)

Welch, Peter H. (2008) Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008. In: UNSPECIFIED. (Full text available)
[img]
Preview

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, 66. IOS Press, Amsterdam, The Netherlands pp. 309-328. ISBN 978-1-58603-907-3. (Full text available)
[img]
Preview

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, 66. IOS Press, Amsterdam, The Netherlands pp. 329-345. ISBN 978-1-58603-907-3. (Full text available)
[img]
Preview

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, 66. IOS Press, Amsterdam, The Netherlands pp. 455-456. ISBN 978-1-58603-907-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)

Andrews, Paul S. and Polack, Fiona and Sampson, Adam T. and Scott, Lisa and Coles, Mark (2008) Simulating biology: towards understanding what the simulation shows. In: Stepney, Susan and Polack, Fiona A.C. and Welch, Peter H., eds. Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008. Luniver Press pp. 93-123. ISBN 978-1-905986-17-0. (Full text available)
[img]
Preview

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, 66. IOS Press, Amsterdam, The Netherlands pp. 85-97. ISBN 978-1-58603-907-3. (Full text available)
[img]
Preview

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 Series, 66. IOS Press, Amsterdam, The Netherlands pp. 293-307. ISBN 978-1-58603-907-3. (Full text available)
[img]
Preview

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, 66. IOS Press, Amsterdam, The Netherlands pp. 365-380. ISBN 978-1-58603-907-3. (Full text available)
[img]
Preview

Sampson, Adam T. and Welch, Peter H. and Warren, Douglas N. and Andrews, Paul S. and Bjørndalen, John Markus and Stepney, Susan and Timmis, Jon (2008) Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems. In: Bullock, S. and Noble, J. and Watson, R. and Bedau, Mark A., eds. Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. MIT Press, Cambridge, MA, USA. pp. 17-24. ISBN 978-0-262-75017-2. (Full text available)
[img]
Preview

Simpson, Jonathan and Jacobsen, Christian L. and Jadud, Matthew C. (2007) A Native Transterpreter for the LEGO Mindstorms RCX. In: McEwan, Alistair A. and Schneider, S.A. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007. Concurrent Systems Engineering Series, 65. IOS Press, Amsterdam, The Netherlands pp. 339-348. ISBN 978-1-58603-767-3. (Full text available)
[img]
Preview

Brown, Neil C.C. (2007) C++CSP2: A Many-to-Many Threading Model for Multicore Architectures. In: McEwan, Alistair A. and Schneider, S. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007: WoTUG-30. Concurrent Systems Engineering Vol 65. IOS Press, Netherlands pp. 183-205. ISBN 978-1-58603-767-3. (Full text available)
[img]
Preview

McEwan, Alistair A. and Schneider, S. and Ifill, W. and Welch, Peter H., eds. (2007) Communicating Process Architectures 2007: WoTUG-30. Concurrent Systems Engineering, 65 . IOS Press, US, Amsterdam, 528 pp. ISBN 978-1-58603-767-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)

Welch, Peter H. and Brown, Neil C.C. and Moores, James and Chalmers, Kevin and Sputh, Bernhard H. C. (2007) Integrating and Extending JCSP. In: Schneider, S.A. and McEwan, Alistair A. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007. Concurrent Systems Engineering, 65. IOS, Amsterdam, The Netherlands pp. 349-370. ISBN 978-1-58603-767-3. (Full text available)
[img]
Preview

Welch, Peter H. and Brown, Neil C.C. and Moores, James and Chalmers, Kevin and Sputh, Bernhard H. C. (2007) Integrating and extending JCSP. In: McEwan, Alistair A. and Schneider, S. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007: WoTUG-30. Concurrent Systems Engineering (Volume). IOS Press, US, Amsterdam, pp. 349-370. ISBN 978-1-58603-767-3. (Full text available)
[img]
Preview

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: WoTUG-30. Concurrent Systems Engineering Volume 65, 65. IOS Press, Amsterdam, The Netherlands pp. 323-338. ISBN 978-1-58603-767-3. (Full text available)
[img]
Preview

Ritson, Carl G. and Welch, Peter H. (2007) A Process-Oriented Architecture for Complex System Modelling. In: McEwan, Alistair A. and Schneider, S.A. and Ifill, W. and Welch, Peter H., eds. Communicating Process Architectures 2007. Concurrent Systems Engineering Series, 65. IOS Press, Amsterdam, The Netherlands pp. 249-266. ISBN 978-1-58603-767-3. (Full text available)
[img]
Preview

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: WoTUG-29. Concurrent Systems Engineering, 29. IOS Press, Amsterdam, The Netherlands pp. 215-224. ISBN 1-58603-671-8. (Full text available)
[img]
Preview

Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. (2006) Communicating Process Architectures 2006: WoTUG-29 Proceedings. Concurrent Systems Engineering, 64 . IOS Press, US, Amsterdam, 400 pp. ISBN 978-1-58603-671-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)

Barnes, Frederick R.M. (2006) Compiling CSP. In: Welch, Peter H. and Kerridge, Jon M. and Barnes, Frederick R.M., eds. Proceedings of Communicating Process Architectures 2006 (CPA-2006). Concurrent Systems Engineering Series, 64. IOS Press pp. 377-388. ISBN 1-58603-671-8. (Full text available)
[img]
Preview

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 Series, 64. IOS Press, Amsterdam, The Netherlands pp. 225-236. ISBN 1-58603-671-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)

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: WoTUG-29. Concurrent Systems Engineering Series, 29. IOS Press, Amsterdam, The Netherlands pp. 269-281. ISBN 1-58603-671-8. (Full text available)
[img]
Preview

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 Series, 64. IOS Press, Amsterdam, The Netherlands pp. 311-329. ISBN 1-58603-671-8. (Full text available)
[img]
Preview

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 Series, 64. IOS Press, Amsterdam, The Netherlands pp. 77-108. ISBN 1-58603-671-8. (Full text available)
[img]
Preview

Welch, Peter H. and Barnes, Frederick R.M. and Polack, Fiona A.C. (2006) Communicating Complex Systems. In: Hinchey, Michael G., ed. Engineering of complex computer systems; ICECCS 2006; proceedings. IEEE Computer Society pp. 107-117. ISBN 0-7695-2530-X. (Full text available)
[img]
Preview

Stepney, Susan and Braunstein, Samuel L. and Clark, John A. and Tyrrell, Andy M. and Adamatzky, Andrew and Smith, Robert E. and Addis, Tom and Johnson, Colin G. and Timmis, Jon and Welch, Peter H. and Milner, Robin and Partridge, Derek (2006) Journeys in Non-Classical Computation II: Initial Journeys and Waypoints. International Journal of Parallel, Emergent and Distributed Systems, 21 (2). pp. 97-125. ISSN 1744-5779. (doi:https://doi.org/10.1080/17445760500355454) (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)

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 on Artificial Life (ECAL 2005). Lecture Notes in Computer Science, 3630. Springer, Canterbury, UK pp. 427-436. ISBN 3-540-28848-1. (Full text available)
[img]
Preview

Dimmich, Damian J. and Jacobsen, Christian L. (2005) A Foreign Function Interface Generator for occam-pi. In: Broenink, Jan F. and Roebbers, H. and Sunter, J. and Welch, Peter H. and Wood, D., eds. Communicating Process Architectures 2005. IOS Press, Amsterdam, The Netherlands pp. 235-248. ISBN 1-58603-561-4. (Full text available)
[img]
Preview

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 Series . IOS Press, Amsterdam, pp. 249-260. ISBN 978-1-58603-561-7. (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)

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 Series, 63. IOS Press, IOS Press, The Netherlands pp. 165-175. ISBN 1-58603-561-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)

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 Series . IOS Press, Amsterdam, pp. 289-316. ISBN 978-1-58603-561-7. (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)

Barnes, Frederick R.M. and Welch, Peter H. and Sampson, Adam T. (2005) Barrier Synchronisation for occam-pi. In: Parallel and Distributed Processing Techniques and Applications 2005, 27-29 June 2005, Las Vegas, United States. (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)

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: International Conference on Parallel and Distributed Processing Techniques and Applications 2005, 27-29 June 2005, Las Vegas, United States. (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)

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. 25 Years of CSP. Lecture Notes in Computer Science, 3525. Springer Verlag pp. 175-210. ISBN 3-540-25813-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)

Stepney, Susan and Braunstein, Samuel L. and Clark, John A. and Tyrrell, Andy M. and Adamatzky, Andrew and Smith, Robert E. and Addis, Tom and Johnson, Colin G. and Timmis, Jon and Welch, Peter H. and Milner, Robin and Partridge, Derek (2005) Journeys in Non-Classical Computation I: A Grand Challenge for computing research. International Journal of Parallel, Emergent and Distributed Systems, 20 (1). pp. 5-19. ISSN 1744-5760. (Full text available)
[img]
Preview

Schweigler, Mario (2004) Adding Mobility to Networked Channel-Types. 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 Series, 62. IOS Press, Amsterdam, The Netherlands pp. 107-125. ISBN 1-58603-458-8. (Full text available)
[img]
Preview

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 Series, 62. IOS Press, Amsterdam, The Netherlands pp. 201-218. ISBN 1-58603-381-6. (Full text available)
[img]
Preview

Oliveira, Marcel V. M. and Cavalcanti, Ana L. C. and Woodcock, Jim (2004) Refining Industrial Scale Systems in Circus. 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 Series, 62. IOS Press pp. 281-309. ISBN 1-58603-458-8. (Full text available)
[img]
Preview

Jacobsen, Christian L. and Jadud, Matthew C. (2004) The Transterpreter: A Transputer Interpreter. In: East, Ian R. and Duce, David and Green, Mark and Martin, Jeremy and Welch, Peter H., eds. Communicating Process Architectures 2004. Concurrent Systems Engineering Series, 62. IOS Press, Amsterdam pp. 99-106. ISBN 1-58603-458-8. (Full text available)
[img]
Preview

Welch, Peter H. (2004) Through the Concurrency Gateway: a Challenge from the Near Future of Graphics Hardware. In: Bartz, Dirk and Raffin, Bruno and Shen, Han-Wei, eds. Eurographics/ACM SIGGRAPH Symposium Proceedings: Parallel Graphics and Visualization 2004. The Eurographics Association pp. 17-22. ISBN 3-905673-11-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)

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 Series, 61. IOS Press, Amsterdam, The Netherlands pp. 199-224. ISBN 1-58603-381-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)

Brown, Neil C.C. and Welch, Peter H. (2003) An Introduction to the Kent C++CSP Library. In: Broenink, Jan F. and Hilderink, Gerald H., eds. Communicating Process Architectures 2003. Concurrent Systems Engineering Series, 61. IOS Press, Amsterdam, The Netherlands pp. 139-156. ISBN 1-58603-381-6. (Full text available)
[img]
Preview

Barnes, Frederick R.M. and Welch, Peter H. (2003) Prioritised Dynamic Communicating and Mobile Processes. IEE Proceedings: Software, 150 (2). pp. 121-136. ISSN 1462-5970. (doi:https://doi.org/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)

Welch, Peter H. and Vinter, Brian (2002) Cluster Computing and JCSP Networking. In: Pascoe, James and Welch, Peter H. and Loader, Roger and Sunderam, Vaidy, eds. Communicating Process Architectures 2002. Concurrent Systems Engineering, 60. IOS Press, IOS Press, Amsterdam, The Netherlands pp. 203-222. ISBN 1-58603-268-2. (Full text available)
[img]
Preview

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, 60. IOS Press, IOS Press, Amsterdam, The Netherlands pp. 321-352. ISBN 1-58603-268-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)

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, 60. IOS Press, IOS Press, Amsterdam, The Netherlands pp. 353-370. ISBN 1-58603-268-2. (Full text available)
[img]
Preview
[img]
Preview

Pascoe, James and Welch, Peter H. and Loader, Roger and Sunderam, Vaidy, eds. (2002) Communicating Process Architectures 2002. Concurrent Systems Engineering, 60 . IOS Press, IOS Press, Amsterdam, The Netherlands, 387 pp. 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)

Welch, Peter H. and Aldous, Jo R and Foster, Jon (2002) CSP Networking for Java (JCSP.net). In: Sloot, Peter M. A. and Tan, C.J Kenneth and Dongarra, Jack J. and Hoekstra, Alfons G., eds. Computational Science - ICCS 2002. Lecture Notes in Computer Science, 2330. Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin pp. 695-708. ISBN 3-540-43593-X. (doi:https://doi.org/10.1007/3-540-46080-2_74) (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)

Welch, Peter H. (2002) Process Oriented Design for Java: Concurrency for All. In: Sloot, Peter M. A. and Tan, C.J Kenneth and Dongarra, Jack J. and Hoekstra, Alfons G., eds. Computational Science - ICCS 2002 (Part 2). Lecture Notes in Computer Science, 2330. Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin p. 687. ISBN 978-3-540-43593-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)

Barnes, Frederick R.M. and Welch, Peter H. (2001) Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment. In: Communicating Process Architectures 2001. (Full text available)
[img]
Preview
[img]
Preview

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 2001. CSREA Press pp. 20-26. ISBN 1-892512-71-8. (doi:https://doi.org/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)

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 Series, 58. IOS Press pp. 155-178. ISBN 1-58603-077-9. (Full text available)
[img]
Preview
[img]
Preview

Welch, Peter H. (2000) Communicating Process Architectures 2000. In: Welch, Peter H. and Bakkers, A.W.P., eds. WoTUG-23, Proceedings of the 23rd World Occam and Transputer User Group Technical Meeting. Concurrent Systems Engineering, 58. IOS Press (Amsterdam) 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)

Wood, David C. (2000) An Experiment with Recursion in occam. In: Welch, Peter H. and Bakkers, A.W.P., eds. Communicating Process Architectures 2000. Concurrent Systems Engineering, 58. IOS Press (Amsterdam) pp. 193-204. ISBN 1-58603-077-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)

Welch, Peter H. and Martin, Jeremy M. R. (2000) Formal Analysis of Concurrent Java Systems. In: Welch, Peter H. and Bakkers, A.W.P., eds. Communicating Process Architectures 2000. Concurrent Systems Engineering, 58. IOS Press (Amsterdam) pp. 275-301. ISBN 1586030779 ; 4274904016. (Full text available)
[img]
Preview

Moores, James (2000) Native JCSP: the CSP-for-Java Library with a Low-Overhead CPS Kernel. In: Welch, Peter H. and Bakkers, A.W.P., eds. Communicating Process Architectures 2000. Concurrent Systems Engineering, 58. IOS Press (Amsterdam) pp. 263-273. ISBN 1-58603-077-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)

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, 58. IOS Press (Amsterdam) pp. 179-191. ISBN 1586030779 ; 4274904016. (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)

Welch, Peter H. and Hilderink, Gerald H. and Schaller, Nan C. (2000) Using Java for Parallel Computing: JCSP versus CTJ. In: Welch, Peter H. and Bakkers, A.W.P., eds. Communicating Process Architectures 2000. Concurrent Systems Engineering, 58. IOS Press (Amsterdam) pp. 205-226. ISBN 1-58603-077-9. (Full text available)
[img]
Preview

Welch, Peter H. and Martin, Jeremy M. R. (2000) A CSP Model for Java Multithreading. In: Nixon, Paddy and Ritchie, I., eds. Software Engineering for Parallel and Distributed Systems. IEEE Computer Society Press pp. 114-122. ISBN 0-7695-0634-8. (doi:https://doi.org/10.1109/PDSE.2000.847856) (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)

Welch, Peter H. (2000) Process Oriented Design for Java: Concurrency for All. In: Arabnia, Hamid R., ed. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, VOLS I-V. CSREA Press pp. 51-57. ISBN 1-892512-52-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)

Welch, Peter H. and Hilderink, Gerald H. and Bakkers, A.W.P. and Stiles, Gardiner S. (1999) Safe and Verifiable Design of Concurrent Programs. In: Furht, Borko, ed. Proceedings of the 3rd. International Conference on Software Engineering and Applications. pp. 20-26. ISBN 0-88986-273-7. (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)

Vella, Kevin J. and Welch, Peter H. (1999) CSP/occam on Shared Memory Multiprocessor Workstations. In: Cook, Barry M., ed. Architectures, Languages and Techniques for Concurrent Systems. Concurrent Systems Engineering Series, 57. IOS Press, Amsterdam, the Netherlands pp. 87-119. ISBN 90-5199-480-X. (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)

Welch, Peter H. and Wood, David C. and Kerridge, Jon M. (1999) Synchronisation Primitives for Highly Parallel Discrete Event Simulations. In: Sprague, R. H., ed. Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS-32). IEEE Computer Society Press ISBN 0-7695-0001-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)

Welch, Peter H. and Hilderink, Gerald H. and Bakkers, A.W.P. and Stiles, Gardiner S. (1999) CSP for Java: Multithreading for all. In: Cook, Barry M., ed. Architectures, Languages and Techniques for Concurrent Systems. Concurrent Systems Engineering Series, 57. I O S Press pp. 277-278. ISBN 90-5199-480-X. (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)

Welch, Peter H. (1998) Parallel and Distributed Computing in Education (Invited Talk). In: Palma, J.M.L.M. and Dongarra, Jack J. and Hernandez, V., eds. VECPAR''98: Third International Conference on Vector and Parallel Processing - Selected Papers. Lecture Notes in Computer Science, 1573. Springer-Verlag pp. 301-330. (Full text available)
[img]
Preview

Welch, Peter H. and Bakkers, A.W.P., eds. (1998) Architectures, Languages and Patterns for Parallel and Distributed Applications. Concurrent Systems Engineering Series, 52 . IOS Press (Amsterdam) ISBN 90-5199-391-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)

Poole, Michael D. (1998) Extended Transputer Code - a Target-Independent Representation of Parallel Programs. In: Welch, Peter H. and Bakkers, A.W.P., eds. Architectures, Languages and Patterns for Parallel and Distributed Applications. Concurrent Systems Engineering, 52. IOS Press pp. 187-198. ISBN 90-5199-391-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)

Welch, Peter H. (1998) Java Threads in the Light of occam/CSP. In: Welch, Peter H. and Bakkers, A.W.P., eds. Architectures, Languages and Patterns for Parallel and Distributed Applications. Concurrent Systems Engineering Series, 52. IOS Press, Amsterdam pp. 259-284. ISBN 90-5199-391-9. (Full text available)
[img]
Preview

Welch, Peter H. (1997) Ignore the monitor methods! Computer, 30 (7). 7-&. ISSN 0018-9162. (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)

Martin, Jeremy M. R. and Welch, Peter H. (1997) A Design Strategy for Deadlock-Free Concurrent Systems. Transputer Communications, 3 (4). pp. 215-232. ISSN 1070-454X. (Full text available)
[img]
Preview

Welch, Peter H. and Wood, David C. (1997) Higher Levels of Process Synchronisation. In: Bakkers, A.W.P., ed. Parallel Programming and Java, Proceedings of WoTUG 20. Concurrent Systems Engineering, 50. IOS Press, Netherlands, University of Twente, Netherlands pp. 104-129. ISBN 90-5199-336-6. (Full text available)
[img]
Preview

Welch, Peter H. (1997) Java Threads in Light of occam/CSP (Tutorial). In: Bakkers, A.W.P., ed. Parallel Programming and Java, Proceedings of WoTUG 20. Concurrent Systems Engineering, 50. IOS Press, Netherlands, University of Twente, Netherlands (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)

Welch, Peter H. and Poole, Michael D. (1997) occam for multi-processor DEC alphas. In: Bakkers, A.W.P., ed. Parallel Programming and Java. Concurrent Systems Engineering Series, 50 . I O S Press, Amsterdam, pp. 152-174. ISBN 90-5199-336-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)

Welch, Peter H. and Wood, David C. (1997) Higher levels of process synchronisation. In: Bakkers, A.W.P., ed. Parallel Programming and Java. Concurrent Systems Engineering Series, 50 . I O S Press, pp. 104-129. ISBN 90-5199-336-6. (Full text available)
[img]
Preview

Welch, Peter H. (1997) Java threads in the light of occam/CSP. In: Bakkers, A.W.P., ed. Parallel Programming and Java. Concurrent Systems Engineering Series, 50 . I O S Press, Amsterdam, p. 282. ISBN 90-5199-336-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)

Welch, Peter H. and Poole, Michael D. (1996) Final Report: Embedded occam/Alpha Demonstrator. Technical report. UKC, Canterbury, Kent, CT2 7NF (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)

Beckett, David J. and Welch, Peter H. (1996) A Strict occam Design Tool. In: Jesshope, C.R. and Shafarenko, A., eds. Proceedings of UK Parallel ''96. Springer-Verlag, London, Guildford, UK pp. 53-69. (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)

Welch, Peter H. and Beckett, David J. (1996) Emulating a Secure Multicasting Bus Using occam2.1. In: O'Neill, Brian, ed. Parallel Processing Developments -- Proceedings of WoTUG 19. IOS Press, Netherlands, Nottingham-Trent University, UK pp. 59-73. (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)

Beckett, David J. and Welch, Peter H. (1996) Emulating a secure multicasting bus using occam 2.1. In: Oneill, B.C. and Transputer User, Grp, eds. Proceedings of the 19th world occam and transputer user group technical meeting on Parallel processing developments. I O S Press pp. 59-73. ISBN 90-5199-261-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)

Wood, David C. and Welch, Peter H. (1996) The Kent retargetable occam compiler. In: Oneill, B.C. and Transputer User, Grp, eds. Parallel Processing Developments. I O S Press pp. 143-166. ISBN 90-5199-261-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)

Hopkins, Tim and Welch, Peter H. (1996) Transputer data-flow solution for systems of linear equations. Concurrency-Practice and Experience, 8 (8). pp. 569-580. ISSN 1040-3108. (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)

Ibbetson, Alan L. and Linington, Peter F. and Penny, Ian and Smith, Abraham B. and Tripp, Gerald (1995) A Parallel Implementation of the ANSA REX Protocol. In: Cook, Barry M. and Jane, M.R. and Nixon, Paddy and Welch, Peter H., eds. Transputer Applications and Systems '95 - Proceedings of World Transputer Congress 1995. Concurrent Systems Engineering Series, 46. IOS Press pp. 29-41. ISBN 90-5199-235-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)

Welch, Peter H. and Cook, Barry M. and Jane, M.R. and Nixon, Paddy (1995) Transputer Applications and Systems ''95, Proceedings of the 1995 World Transputer Congress. In: UNSPECIFIED. (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)

Cross, M. and Keech, M. and Liddell, Heather and Steel, John and Walshaw, C and Welch, Peter H. (1995) Implementing a strategy for the promotion of high performance computing in the UK. In: Hertzberger, Bob and Serazzi, Giuseppe, eds. Hight-Performance Computing and Networking. Springer-Verlag Berlin p. 941. ISBN 3-540-59393-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)

Welch, Peter H. (1995) Parallel hardware and parallel software: A reconciliation. In: ZEUS 95 Workshop on Parallel Programming and Computation/NTUG Annual/Biannual Workshop on Parallel Processing and Real-Time Applications (NTUG 95), 1995, Linkoping, Sweden. (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)

Welch, Peter H. and Beckett, David J. (1995) Real time image scanning on transputers (a case study in parallel design). In: Cook, Barry M. and Jane, M.R. and Nixon, Paddy and Welch, P.M., eds. Transputer Applications and Systems '95. I O S Press, Amsterdam, Netherland pp. 118-134. ISBN 90-5199-235-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)

Dealmeida, F.A. and Welch, Peter H. (1994) A Parallel Emulator for a Multi-Processor Dataflow Machine. In: DeGloria, A. and Jane, M.R. and Marini, D., eds. Transputer Applications and Systems ''94, Proceedings of the 1994 World Transputer Congress. I O S Press pp. 259-272. ISBN 90-5199-177-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)

Welch, Peter H. and Justo, George R. R. and Willcock, Colin J. (1993) Higher-Level Paradigms for Deadlock-Free High-Performance Systems. In: Grebe, R. and Hektor, J. and Hilton, S.C. and Jane, M.R. and Welch, Peter H., eds. Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress. IOS Press, Netherlands, Aachen, Germany pp. 981-1004. (Full text available)
[img]
Preview

Welch, Peter H. (1993) Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress. In: UNSPECIFIED. (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)

Welch, Peter H. and Wood, David C. (1993) Image tracking in real-time: a transputer emulation of some early mammalian vision processes. Image and Vision Computing, 11 (4). pp. 221-228. ISSN 0262-8856. (doi:https://doi.org/10.1016/0262-8856(93)90039-J) (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)

Bakkers, A.W.P. and Bruis, R. and Roebbers, Herman W. and Schaller, Nan C. and Schwirtz, M.H. and Sunder, J.P.E. and Wijbrans, K.C.J. and Welch, Peter H. (1993) Training for Transputer Technologies. In: Parallel Processing in Education. Hungarian Academic of Sciences (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)

Welch, Peter H. and Linington, Peter F. (1993) An Enabling Infrastructure for a Distributed Multimedia Industry. In: Welch, Peter H. and May, M.D. and Thompson, P.W., eds. Networks, Routers and Transputers: Function, Performance and Application. IOS Press, Netherlands, pp. 183-200. (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)

Welch, Peter H. and May, M.D. and Thompson, P.W. (1993) Networks, Routers and Transputers: Function, Performance and Application. IOS Press, Netherlands (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)

Welch, Peter H. and Justo, George R. R. and Willcock, Colin J. (1993) High-level paradigms for deadlock-free high-performance systems. In: Grebe, R. and Hektor, J. and Hilton, S.C. and Jane, M.R. and Welch, Peter H., eds. Transputer Applications and Systems 93 Transputer Applications and Systems 93. Transputer & Occam Engineering., 36 . IOS press, Amsterdam, pp. 981-1004. ISBN 90-5199-140-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)

Welch, Peter H. and Justo, George R. R. (1993) Serialisation as a Paradigm for the Engineering of Parallel Programs. Computers and Artifical Intelligence, 12 (3). pp. 229-249. ISSN 0232-0274. (doi:https://doi.org/10.1007/3-540-55599-4_149) (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)

Fairhurst, Michael and Cowley, K.D. and Yanni, M.K. (1993) Efficient parallel feature-extraction in high-performance character-recognition systems. In: Grebe, R. and Hektor, J. and Hilton, S.C. and Jane, M.R. and Welch, Peter H., eds. Transputer Applications and Systems '93. Transputer and Occam Engineering Series, 36. I O S Press, VAN Diemenstraat 94, 1013 CN Amsterdam, Netherlands, Amsterdam, Netherlands pp. 728-738. ISBN 90-5199-140-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)

Justo, George R. R. and Welch, Peter H. (1993) Serialization as a paradigm for the engineering of parallel programs. Computers and Artificial Intelligence, 12 (3). pp. 229-249. ISSN 0232-0274. (doi:https://doi.org/10.1007/3-540-55599-4_149) (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)

Welch, Peter H. and Wood, David C. (1992) Image Tracking in Real-Time: a Transputer Emulation of some Early Mammalian Vision Processes. In: Hogg, David and Boyle, Roger, eds. BMVC92, Proceedings of the British Machine Vision Conference 1992. Springer Verlag, Leeds, UK pp. 387-396. (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)

Welch, Peter H. (1992) Shared-Memory Multi-Processors and occam. WoTUG Newsletter, 17 . pp. 42-45. (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)

Welch, Peter H. and Wood, David C. (1992) KITTEN -- A Foveal Image Tracker. Image Processing and Transputers, . pp. 97-112. (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)

Welch, Peter H. and Smith, Abraham B. (1992) A Transputer Based Active Vision System. In: Allen, Alastair, ed. Transputer Systems -- Ongoing Research, Proceedings of WoTUG 15. IOS Press, Netherlands, University of Aberdeen, UK pp. 112-121. (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)

Welch, Peter H. (1992) The Role and Future of occam. Transputer Applications -- Progress and Reports, Proceedings of the Final Transputer Initiative Symposium, . (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)

Justo, George R. R. and Welch, Peter H. (1992) Serialization as a Paradigm for the Engineering of Parallel Programs. In: Etiemble, D. and Syre, J.C., eds. Lecture Notes in Computer Science. Lecture Notes in Computer Science, 605. Springer-Verlag Berlin, Berlin, Berlin pp. 975-976. ISBN 3-540-55599-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)

Welch, Peter H. (1991) GOING TO Ceed? Technical report. UKC, University of Kent, Canterbury, UK (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)

Welch, Peter H. (1991) On the Serialisation of Parallel Programs. In: Edwards, Janet, ed. Occam and the Transputer -- Current Developments, Proceedings of WoTUG 14. IOS Press, Netherlands, University of Loughborough, UK pp. 159-180. (Full text available)
[img]
Preview

Welch, Peter H. (1991) Securely Managed Pointers. WoTUG Newsletter, 15 . (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)

Welch, Peter H. and Justo, George R. R. (1991) Synthesis of Deadlock-Free Parallel Programs. In: Proceedings of the 3rd pan-Hellenic Conference on Information Technology. Greek Computer Society, Athens, Greece pp. 46-59. (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)

Willcock, C.J. and Welch, Peter H. (1991) A Parallel X-Windows Server (a Case Study on occam and Programming-in-the-Large). In: Welch, Peter H. and Stiles, D. and Kunii, T.L. and Bakkers, A.W.P., eds. TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference. IOS Press, Netherlands, Sunnyvale, California, USA pp. 406-430. (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)

Welch, Peter H. (1991) TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference. In: UNSPECIFIED. (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)

Welch, Peter H. and Roebbers, H. (1990) A Generalized FFT Algorithm on Transputers. In: Transputer Research and Applications 4, Proceedings of NATUG 4. IOS Press, Netherlands, Ithaca, New York pp. 77-87. (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)

Morse, David R. and Welch, A.M. and Welch, Peter H. (1990) Diffusion Limited Aggregation: an Example of Real-Time Parallelisation. In: Zedan, H.S.M., ed. Real-Time Systems with Transputers, Proceedings of OUG 13. IOS Press, Netherlands, University of York, UK pp. 248-261. (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)

Welch, Peter H. (1990) Multi-Priority Scheduling for Transputer-Based Real-Time Control. In: Zedan, H.S.M., ed. Real-Time Systems with Transputers, Proceedings of OUG 13. IOS Press, Netherlands, University of York, UK pp. 198-214. (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)

Welch, Peter H. and Sarrafan, A.M. (1990) Transputer Models for a High-Performance Local Area Network Bridge. In: Tools and Techniques for Transputer Applications, Proceedings of OUG 12. IOS Press, Netherlands, University of Exeter, UK pp. 111-121. (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)

Welch, Peter H. (1990) Parallel Algorithms and Safety-Critical Standards. In: Proceedings of the 10th Benelux Meeting on Systems and Control. , Eindhoven, Netherlands (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)

Smith, Abraham B. and Welch, Peter H. (1989) Real-Time Transputer Models of Low-Level Primate Vision. In: Wexler, J., ed. Occam and the Transputer, Research and Applications, Proceedings of OUG 11. IOS Press, Netherlands, University of Edinburgh, UK pp. 171-181. (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)

Hopkins, Tim and Welch, Peter H. (1989) Transputer Data-flow Solution for Systems of Linear Equations. Technical report. UKC, University of Kent, Canterbury, UK (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)

Welch, Peter H. (1989) Graceful Termination -- Graceful Resetting. In: Applying Transputer-Based Parallel Machines, Proceedings of OUG 10. IOS Press, Netherlands, Enschede, Netherlands pp. 310-317. (Full text available)
[img]
Preview

Welch, Peter H. (1989) TRANSNET -- A Transputer-Based Communication Service. In: Applying Transputer-Based Parallel Machines, Proceedings of OUG 10. IOS Press, Netherlands, Enschede, Netherlands pp. 198-212. (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)

Welch, Peter H. (1989) Emulating Digital Logic using Transputer Networks (Very High Parallelism = Simplicity = Performance). Parallel Computing, 9 (2). pp. 257-272. ISSN 0167-8191. (Full text available)
[img]
Preview

Welch, Peter H. (1989) Making Reuse Happen -- Component Engineering. In: Making Reuse Happen -- Component Engineering. Peter Peregrinus Ltd.. (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)

Welch, Peter H. (1989) Safety First. Occam User Group Newsletter, 12 . pp. 22-27. (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)

Welch, Peter H. and Hopkins, Tim (1989) Transputer Data-Flow Solutions for Systems of Linear Equations. In: Parallel Computing 1989, Proceedings of the International Conference. Elsevier, Netherlands, Leiden, Netherlands (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)

Welch, Peter H. (1988) GOTO (Considered Harmful)<sup></sup>n, n is Odd}. Occam User Group Newsletter, 8 . pp. 22-26. (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)

Welch, Peter H. (1988) An occam Approach to Transputer Engineering. In: Proceedings of the 3rd. Conference on Hypercube Concurrent Computers and Applications. ACM Conference Proceedings, Pasadena, California, USA (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)

Welch, Peter H. (1987) Managing Hard Real-Time Demands on Transputers. In: Muntean, T., ed. Proceedings of OUG 7 Conference and International Workshop on Parallel Programming of Transputer Based Machines. IOS Press, Netherlands, LGI-IMAG, Grenoble, France (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)

Welch, Peter H. (1987) Emulating Digital Logic using Transputer Networks (Very High Level Parallelism = Simplicity = Performance). In: Proceedings of the Parallel Architectures and Languages Europe International Conference. Springer-Verlag Lecture Notes in Computer Science, 258. Springer-Verlag, Eindhoven, Netherlands pp. 357-373. (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)

Welch, Peter H. (1987) Parallel Processes as Reusable Components. In: Ada: Components, Libraries and Tools, Proceedings of the Ada-Europe International Conference, Stockholm. Cambridge University Press pp. 86-99. (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)

Welch, Peter H. (1986) A Structured Technique for Concurrent Systems Design in Ada. In: Ada: Managing the Transition, Proceedings of the Ada-Europe International Conference, Edinburgh. Cambridge University Press pp. 261-272. (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)

Welch, Peter H. (1985) Structured Tasking in Ada? Ada Letters, 5 (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)

Welch, Peter H. (1985) The Effect of New Real-Time Software Engineering Methodologies on Marconi Avionics - Final Report. Technical report. Computing Laboratory, University of Kent (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)

Welch, Peter H. (1985) Five Essays on Occam. Occam User Group Newsletter, 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)

Brown, Peter J. and Welch, Peter H. (1984) Compiler Servers for the Cambridge Ring. The Coordinated Programme of Research in Distributed Computing Systems (1977..1984) -- Final Report (SERC), . (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)

Welch, Peter H. (1983) Parallel Assignment Revisited. Software Practice and Experience, . (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)

Hopkins, Tim and Kollerstrom, J. and Welch, Peter H. (1983) Estimation of the Order of Dependence in Sequences. Applied Statistics-Journal of the Royal Statistical Society Series C, 32 (2). pp. 185-196. ISSN 0035-9254. (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)

Welch, Peter H. and Schutt, T.E. (1982) Byte Streams on a Micro-Computer. In: Proceedings of `Structure und Betrieb von Rechensystermen'', Ulm, W. Germany. NTG/GO-Fachtogung (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)

Welch, Peter H. and Schutt, T.E. (1981) Applying Micro-Computers in a Local Area Network. In: Proceedings of `Local Networks and Distributed Office Systems'', London. Online Publications Ltd., Northwood, UK (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)

Welch, Peter H. (1980) LAMBDA Tutorial Guide. Manual. Computing Laboratory, University of Kent (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)

Welch, Peter H. (1975) Continuous Semantics and Inside-Out Reductions. Lecture Notes in Computer Science, 37 . pp. 122-146. (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)

Welch, Peter H. (1974) The Minimal Continuous Semantics of the Lambda-Calculus. Doctor of Philosophy (PhD) thesis, University of Warwick. (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)

This list was generated on Mon May 27 14:25:10 2019 BST.