Items where Author, Editor or other role is "Welch, Peter"

Article

Pedersen, Jan B., 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:10.1007/s00165-017-0447-x) (KAR id:66519)

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

Welch, Peter H., 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: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) (KAR id:30673)

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

Welch, Peter H., Brown, Neil C.C., Moores, James, Chalmers, Kevin, 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: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) (KAR id:30683)

Stepney, Susan, Braunstein, Samuel L., Clark, John A., Tyrrell, Andy M., Adamatzky, Andrew, Smith, Robert E., Addis, Tom, Johnson, Colin G., Timmis, Jon, Welch, Peter H., and others. Milner, Robin, and Partridge, Derek (hide) (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: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) (KAR id:14489)

Stepney, Susan, Braunstein, Samuel L., Clark, John A., Tyrrell, Andy M., Adamatzky, Andrew, Smith, Robert E., Addis, Tom, Johnson, Colin G., Timmis, Jon, Welch, Peter H., and others. Milner, Robin, and Partridge, Derek (hide) (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. (doi:10.1080/17445760500033291) (KAR id:14350)

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)

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) (KAR id:18032)

Martin, Jeremy M. R., Welch, Peter H. (1997) A Design Strategy for Deadlock-Free Concurrent Systems. Transputer Communications, 3 (4). pp. 215-232. ISSN 1070-454X. (KAR id:21490)

Hopkins, Tim, 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. (doi:10.1002/(sici)1096-9128(199610)8:8<569::aid-cpe229>3.0.co;2-z) (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:19243)

Welch, Peter H., 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: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) (KAR id:20739)

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) (KAR id:21044)

Welch, Peter H., 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) (KAR id:21055)

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) (KAR id:21066)

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) (KAR id:20997)

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. (KAR id:20890)

Welch, Peter H. (1989) Safety First. Occam User Group Newsletter, 12 . pp. 22-27. (doi:10.7748/ns.3.20.47.s60) (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:20957)

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) (KAR id:20935)

Welch, Peter H. (1985) Structured Tasking in Ada? Ada Letters, 5 (1). (doi:10.1145/989981.989982) (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:20909)

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) (KAR id:20911)

Brown, Peter J., 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) (KAR id:20905)

Welch, Peter H. (1983) Parallel Assignment Revisited. Software Practice and Experience, . (doi:10.1002/spe.4380131208) (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:20902)

Hopkins, Tim, Kollerstrom, J., 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) (KAR id:20904)

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) (KAR id:20895)

Book section

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)

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)

Welch, Peter H. (2013) Life of occam-Pi. In: Communicating Process Architectures 2013 Proceedings of the 35th WoTUG Technical Meeting. Open Channel Publishing, pp. 293-318. ISBN 978-0-9565409-7-3. (KAR id:44827)

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)

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)

Bonnici, Eric and Welch, Peter H. (2009) Mobile Processes, Mobile Channels and Complex Dynamic Systems. In: 2009 IEEE Congress on Evolutionary Computation. IEEE, pp. 232-239. ISBN 978-1-4244-2958-5. (doi:10.1109/CEC.2009.4982953) (KAR id:24101)

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)

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)

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)

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)

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)

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 and Welch, Peter, eds. Cosmos 2008 : Complex Systems Modelling and Simulation. Luniver Press, pp. 93-123. ISBN 978-1-905986-17-0. (KAR id:24106)

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)

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)

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)

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. Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems (ALIFE XI). MIT Press, Cambridge, Massachusetts, USA, pp. 17-24. ISBN 978-0-262-75017-2. (KAR id:24033)

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 . IOS Press, Amsterdam, Netherlands, pp. 339-348. ISBN 978-1-58603-767-3. E-ISBN 978-1-60750-261-6. (KAR id:24058)

Brown, Neil (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. Concurrent Systems Engineering . IOS Press, pp. 183-205. ISBN 978-1-58603-767-3. (KAR id:14571)

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, Netherlands, pp. 349-370. ISBN 978-1-58603-767-3. E-ISBN 978-1-60750-261-6. (KAR id:24001)

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. (KAR id:12959)

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)

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 . IOS Press, Amsterdam, Netherlands, pp. 249-266. ISBN 978-1-58603-767-3. E-ISBN 978-1-60750-261-6. (KAR id:14575)

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)

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)

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)

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)

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)

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)

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)

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. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 235-248. ISBN 978-1-58603-561-7. E-ISBN 978-1-60750-144-2. (KAR id:14268)

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)

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)

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)

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)

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)

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 . IOS Press, Amsterdam, Netherlands, pp. 107-125. ISBN 978-1-58603-458-0. (KAR id:14090)

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)

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 . IOS Press, pp. 281-309. ISBN 978-1-58603-458-0. (KAR id:14110)

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. Proceedings of the 5th Eurographics conference on Parallel Graphics and Visualization. The Eurographics Association, Goslar, Germany, pp. 17-22. ISBN 3-905673-11-8. (doi:10.2312/EGPGV/EGPGV04/017-022) (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:14153)

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)

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 . IOS Press, Amsterdam, Netherlands, pp. 139-156. ISBN 978-1-58603-381-1. (KAR id:13921)

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 . IOS Press, Amsterdam, Netherlands, pp. 203-222. ISBN 978-1-58603-268-5. (KAR id:13732)

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)

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 International Conference. Lecture Notes in Computer Science, 2 . Springer, Berlin, Germany, pp. 695-708. ISBN 978-3-540-43593-8. E-ISBN 978-3-540-46080-0. (doi: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) (KAR id:13807)

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 International Conference. Lecture Notes in Computer Science, 2 . Springer, Berlin, Germany, p. 687. ISBN 978-3-540-43593-8. E-ISBN 978-3-540-46080-0. (doi:10.1007/3-540-46080-2_72) (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:13795)

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)

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)

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)

Welch, Peter H. (2000) Communicating Process Architectures 2000. In: Welch, Peter H. and Bakkers, A.W.P., eds. Communicating Process Architectures 2000. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands. 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:21977)

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 . IOS Press, Amsterdam, Netherlands, pp. 193-204. 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:21971)

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 . IOS Press, Amsterdam, Netherlands, pp. 275-301. ISBN 978-1-58603-077-3. (KAR id:21982)

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 . IOS Press, Amsterdam, Netherlands, pp. 263-273. 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:21979)

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)

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 . IOS Press, Amsterdam, Netherlands, pp. 205-226. ISBN 978-1-58603-077-3. (KAR id:21987)

Welch, Peter H. and Martin, Jeremy M. R. (2000) A CSP Model for Java Multithreading. In: Nixon, Paddy and Ritchie, I., eds. 2000 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems. IEEE, pp. 114-122. ISBN 0-7695-0634-8. (doi: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) (KAR id:22014)

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. 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) (KAR id:22021)

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 Annual IASTED International Conference Software Engineering and Applications (SEA'99). IASTED/ACTA Press, 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) (KAR id:21756)

Kerridge, J. and Welch, P. and Wood, D. (1999) Synchronisation Primitives for Highly Parallel Discrete Event Simulations. In: Sprague, R. H., ed. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. IEEE. ISBN 0-7695-0001-3. (doi:10.1109/HICSS.1999.773084) (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:21883)

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. Proceedings of WoTUG-22: Architectures, Languages and Techniques for Concurrent Systems. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, 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) (KAR id:16746)

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. Vector and Parallel Processing – VECPAR’98 Third International Conference. Lecture Notes in Computer Science . Springer-Verlag, Berlin, Germany, pp. 301-330. ISBN 978-3-540-66228-0. E-ISBN 978-3-540-48516-2. (doi:10.1007/10703040_24) (KAR id:21644)

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 . IOS Press, Amsterdam, Netherlands, pp. 259-284. ISBN 978-90-5199-391-2. (KAR id:21668)

Welch, Peter H. and Wood, David C. (1997) Higher Levels of Process Synchronisation. In: Bakkers, A.W.P., ed. Proceedings of the 20th Technical Meeting of the World Occam and Transputer User Group (WoTUG) Technical Meeting. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 104-129. ISBN 90-5199-336-6. (KAR id:21515)

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) (KAR id:18034)

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. (KAR id:18035)

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) (KAR id:18033)

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. Concurrent Systems Engineering Series . IOS Press, Amsterdam, Netherlands, 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) (KAR id:18814)

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 : WoTUG-19 ; proceedings of the 19th World Occam and Transputer User Group Technical Meeting. Concurrent Systems Engineering . IOS 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) (KAR id:18589)

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. High-Performance Computing and Networking International Conference and Exhibition. Lecture Notes in Computer Science . Springer, Berlin, Germany, p. 941. ISBN 978-3-540-59393-5. E-ISBN 978-3-540-49242-9. (doi:10.1007/BFb0046749) (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:19789)

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. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, 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) (KAR id:19130)

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) (KAR id:21135)

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) (KAR id:20738)

Justo, George R. R. and Welch, Peter H. (1992) Serialization as a paradigm for the engineering of parallel programs. In: PARLE '92 Parallel Architectures and Languages Europe. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 975-976. ISBN 978-3-540-55599-5. E-ISBN 978-3-540-47250-6. (doi: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) (KAR id:22161)

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) (KAR id:20958)

Reports and Papers

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) (KAR id:21333)

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) (KAR id:20988)

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) (KAR id:20946)

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) (KAR id:20910)

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) (KAR id:20897)

Conference or workshop item

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)

Vella, Kevin J., 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. pp. 87-119. IOS Press, Amsterdam, the Netherlands 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) (KAR id:21841)

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. pp. 187-198. IOS Press 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) (KAR id:21673)

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) (KAR id:21520)

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

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

Ibbetson, Alan L., Linington, Peter F., Penny, Ian, Smith, Abraham B., 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. pp. 29-41. IOS Press 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) (KAR id:21236)

Welch, Peter H., Cook, Barry M., Jane, M.R., 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) (KAR id:21248)

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) (KAR id:19129)

Dealmeida, F.A., 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. 41. pp. 259-272. I O S Press 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) (KAR id:20160)

Welch, Peter H., Justo, George R. R., 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. 2. pp. 981-1004. IOS Press, Netherlands, Aachen, Germany (KAR id:21094)

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) (KAR id:21098)

Bakkers, A.W.P., Bruis, R., Roebbers, Herman W., Schaller, Nan C., Schwirtz, M.H., Sunder, J.P.E., Wijbrans, K.C.J., 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) (KAR id:21127)

Fairhurst, Michael, Cowley, K.D., 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. pp. 728-738. I O S Press, VAN Diemenstraat 94, 1013 CN Amsterdam, Netherlands, Amsterdam, Netherlands 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) (KAR id:22087)

Welch, Peter H., 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. . pp. 387-396. Springer Verlag, Leeds, UK (doi:10.1007/978-1-4471-3201-1_40) (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:21029)

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

Welch, Peter H. (1991) On the Serialisation of Parallel Programs. In: Edwards, Janet, ed. Occam and the Transputer -- Current Developments, Proceedings of WoTUG 14. . pp. 159-180. IOS Press, Netherlands, University of Loughborough, UK (KAR id:20989)

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

Willcock, C.J., 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. . pp. 406-430. IOS Press, Netherlands, Sunnyvale, 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) (KAR id:21006)

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) (KAR id:21005)

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

Morse, David R., Welch, A.M., 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. . pp. 248-261. IOS Press, Netherlands, University of York, 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) (KAR id:20967)

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. . pp. 198-214. IOS Press, Netherlands, University of York, 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) (KAR id:20968)

Welch, Peter H., 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. . pp. 111-121. IOS Press, Netherlands, University of Exeter, 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) (KAR id:20971)

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) (KAR id:20975)

Smith, Abraham B., 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. . pp. 171-181. IOS Press, Netherlands, University of Edinburgh, 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) (KAR id:20947)

Welch, Peter H. (1989) Graceful Termination -- Graceful Resetting. In: Applying Transputer-Based Parallel Machines, Proceedings of OUG 10. . pp. 310-317. IOS Press, Netherlands, Enschede, Netherlands (KAR id:20953)

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

Welch, Peter H., 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) (KAR id:20960)

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 (doi:10.1145/62297.62315) (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:20936)

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) (KAR id:20928)

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. pp. 357-373. Springer-Verlag, 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) (KAR id:20929)

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

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. . pp. 261-272. Cambridge University Press (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:20918)

Welch, Peter H., 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) (KAR id:20900)

Welch, Peter H., 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) (KAR id:20899)

Book

Welch, Peter H., May, M.D., 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) (KAR id:21134)

Thesis

Barnes, Frederick R. M. (2003) Dynamics and pragmatics for high performance concurrency. Doctor of Philosophy (PhD) thesis, University of Kent. (doi:10.22024/UniKent/01.02.86048) (KAR id:86048)

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

Edited book

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)

Stepney, Susan and Polack, Fiona and Welch, Peter, eds. (2008) Cosmos 2008 Complex Systems Modelling and Simulation: Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation. Luniver Press, 136 pp. ISBN 978-1-905986-17-0. (KAR id:24109)

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)

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) (KAR id:12962)

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) (KAR id:12963)

Pascoe, James and Welch, Peter H. and Loader, Roger and Sunderam, Vaidy, eds. (2002) Communicating Process Architectures 2002. Concurrent Systems Engineering . IOS Press, Amsterdam, 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) (KAR id:13745)

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) (KAR id:21670)