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

Article

Barnes, F.R.M. and Welch, P.H. (2003) Prioritised Dynamic Communicating and Mobile Processes. IEE Proceedings-Software, 150 (2). pp. 121-136. ISSN 1462-5970. The full text of this publication is not available from this repository.

Martin, J.M.R. and Welch, P.H. (1997) A Design Strategy for Deadlock-Free Concurrent Systems. Transputer Communications, 3 (4). pp. 215-232. ISSN 1070-454X.

Preview

Welch, P.H. and Justo, G.R.R. (1993) Serialisation as a Paradigm for the Engineering of Parallel Programs. Computers and Artifical Intelligence, 12 (3). pp. 229-249. The full text of this publication is not available from this repository.

Justo, G.R.R. and Welch, P.H. (1993) Serialization as a paradigm for the engineering of parallel programs. Computers and Artificial Intelligence, 12 (3). pp. 229-249. ISSN 0232-0274. The full text of this publication is not available from this repository.

Welch, P.H. (1992) Shared-Memory Multi-Processors and occam. WoTUG Newsletter No. 17 . pp. 42-45. The full text of this publication is not available from this repository.

Welch, P.H. and Wood, D.C. (1992) KITTEN -- A Foveal Image Tracker. Image Processing and Transputers . pp. 97-112. The full text of this publication is not available from this repository.

Welch, P.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 available from this repository.

Welch, P.H. (1991) Securely Managed Pointers. WoTUG Newsletter 15 . The full text of this publication is not available from this repository.

Welch, P.H. (1989) Emulating Digital Logic using Transputer Networks (Very High Parallelism = Simplicity = Performance). Parallel Computing, 9 (2). pp. 257-272. ISSN 0167-8191.

Preview

Welch, P.H. (1989) Safety First. Occam User Group Newsletter, 12 . pp. 22-27. The full text of this publication is not available from this repository.

Welch, P.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 available from this repository.

Welch, P.H. (1985) Structured Tasking in Ada? Ada Letters, 5 (1). The full text of this publication is not available from this repository.

Welch, P.H. (1985) Five Essays on Occam. Occam User Group Newsletter, 2 . The full text of this publication is not available from this repository.

Brown, P.J. and Welch, P.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 available from this repository.

Welch, P.H. (1983) Parallel Assignment Revisited. Software Practice and Experience . The full text of this publication is not available from this repository.

Hopkins, Tim and Kollerstrom, J. and Welch, P.H. (1983) Estimation of the Order of Dependence in Sequences. Applied Statistics, 32 (2). The full text of this publication is not available from this repository.

Welch, P.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 available from this repository.

Book section

Welch, P.H. and Brown, N.C.C. and Moores, J. and Chalmers, K. and Sputh, B. (2007) Integrating and extending JCSP. In: McEwan, A.A. and Schneider, S. and Ifill, W. and Welch, P.H., eds. Communicating Process Architectures 2007: WoTUG-30. Concurrent Systems Engineering (Volume). IOS Press, US, Amsterdam, pp. 349-370. ISBN 9781586037673.

Preview

Barnes, F.R.M. (2005) Interfacing C and occam-pi. In: Broenink, Jan F. and Roebbers, H.W. and Sunter, J.P.E. and Welch, P.H. and Wood, D.C., eds. Communicating Process Architectures 2005. Concurrent Systems Engineering Series . IOS Press, Amsterdam, pp. 249-260. ISBN 9781586035617. The full text of this publication is not available from this repository.

Welch, P.H. and Barnes, F.R.M. (2005) Mobile Barriers for occam-pi: Semantics, Implementation and Application. In: Broenink, Jan F. and Roebbers, H.W. and Sunter, J.P.E. and Welch, P.H. and Wood, D.C., eds. Communicating Process Architectures 2005. Concurrent Systems Engineering Series . IOS Press, Amsterdam, pp. 289-316. ISBN 9781586035617. The full text of this publication is not available from this repository.

Welch, P.H. and Poole, M.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 available from this repository.

Welch, P.H. and Wood, D.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.

Preview

Welch, P.H. and Linington, P.F. (1993) An Enabling Infrastructure for a Distributed Multimedia Industry. In: Welch, P.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 available from this repository.

Welch, P.H. and Justo, G.R.R. and Willcock, C.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, P.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 available from this repository.

Welch, P.H. (1989) Making Reuse Happen -- Component Engineering. In: Making Reuse Happen -- Component Engineering. Peter Peregrinus Ltd.. The full text of this publication is not available from this repository.

Monograph

Welch, P.H. and Poole, M.D (1996) Final Report: Embedded occam/Alpha Demonstrator. Technical report. UKC, Canterbury, Kent, CT2 7NF The full text of this publication is not available from this repository.

Welch, P.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 available from this repository.

Welch, P.H. (1980) LAMBDA Tutorial Guide. Manual. Computing Laboratory, University of Kent The full text of this publication is not available from this repository.

Conference or workshop item

Barnes, Frederick R. M. (2009) Mobile Escape Analysis for occam-pi. In: Communicating Process Architectures 2009. The full text of this publication is not available from this repository.

Welch, P.H. and Barnes, Frederick R.M. (2008) A CSP Model for Mobile Channels. In: Communicating Process Architectures 2008, SEP 07-10, 2008, York, England.

Preview

Brown, N.C.C. (2008) Communicating Haskell Processes: Composable Explicit Concurrency Using Monads. In: Communicating Process Architectures 2008.

Preview

Brown, N.C.C. and Smith, M.L. (2008) Representation and Implementation of CSP and VCR Traces. In: Communicating Process Architectures 2008, Sep 07-10, 2008, York, England.

Preview

Welch, P.H. and Pedersen, Jan B. (2008) Santa Claus - with Mobile Reindeer and Elves. In: Communicating Process Architectures 2008, Sept 07-10, 2008, York, England. The full text of this publication is not available from this repository.

Sampson, A.T. and Welch, P.H. and Warren, D.N. and Andrews, Paul S. and Bjørndalen, John Markus and Stepney, S. and Timmis, J. (2008) Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems. In: Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems.

Preview

Simpson, J. and Jacobsen, Christian L. and Jadud, Matthew C. (2007) A Native Transterpreter for the LEGO Mindstorms RCX. In: Communicating Process Architectures 2007.

Preview

Ritson, Carl G. and Barnes, F.R.M. (2007) A Process Oriented Approach to USB Driver Development. In: Communicating Process Architectures 2007, 2007.

Preview

Ritson, Carl G. and Welch, P.H. (2007) A Process-Oriented Architecture for Complex System Modelling. In: McEwan, A.A. and Schneider, S.A. and Ifill, W. and Welch, P.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.

Preview

Brown, N.C.C. (2007) C++CSP2: A Many-to-Many Threading Model for Multicore Architectures. In: Communicating Process Architectures 2007, 2007.

Preview

Welch, P.H. and Brown, N.C.C. and Moores, J. and Chalmers, K. and Sputh, B. (2007) Integrating and Extending JCSP. In: Communicating Process Architectures 2007, Jul, 2007, Guildford.

Preview

Dimmich, Damian J. and Jacobsen, Christian L. and Jadud, Matthew C. (2006) A Cell Transterpreter. In: Communicating Process Architectures 2006: WoTUG-29.

Preview

Barnes, F.R.M. (2006) Compiling CSP. In: Proceedings of Communicating Process Architectures 2006 (CPA-2006), Edinburgh, Scotland.

Preview

Jacobsen, Christian L. and Dimmich, Damian J. and Jadud, Matthew C. (2006) Native Code Generation Using the Transterpreter. In: Communicating Process Architectures 2006: WoTUG-29.

Preview

Ritson, Carl G. and Sampson, Adam T. and Barnes, Frederick R.M. (2006) Video Processing in occam-pi. In: Communicating Process Architectures 2006.

Preview

Welch, P.H. and Barnes, F.R.M. and Polack, F.A.C. (2006) Communicating Complex Systems. In: 11th International Conference on Engineering of Complex Computer Systems, 15-17 August 2006, Stanford, California (USA).

Preview

Polack, F.A.C. and Stepney, S. and Turner, Heather and Welch, P.H. and Barnes, F.R.M. (2005) An Architecture for Modelling Emergence in CA-Like Systems. In: Advances in Artificial Life, 8th European Conference on Artificial Life (ECAL 2005).

Preview

Sampson, A.T. and Welch, P.H. and Barnes, F.R.M. (2005) Lazy Cellular Automata with Communicating Processes. In: Communicating Process Architectures 2005. The full text of this publication is not available from this repository.

Welch, P.H. and Barnes, F.R.M. (2005) Communicating Mobile Processes: introducing occam-pi. In: 25 Years of CSP. The full text of this publication is not available from this repository.

Schweigler, Mario (2004) Adding Mobility to Networked Channel-Types. In: Communicating Process Architectures 2004, Sep 05-08, 2004 , Oxford Brooks Univ, Oxford, England.

Preview

Barnes, F.R.M. and Welch, P.H. (2004) Communicating Mobile Processes. In: Communicating Process Architectures 2004, Sep 05-08, 2004 , Oxford Brooks Univ, Oxford, England, .

Preview

Oliveira, M.V.M and Cavalcanti, A.L.C. and Woodcock, J.C.P. (2004) Refining Industrial Scale Systems in Circus. In: Communicating Process Architectures 2004, Sep 05-08, 2004 , Oxford Brooks Univ, Oxford, England.

Preview

Welch, P.H. (2004) Through the Concurrency Gateway: a Challenge from the Near Future of Graphics Hardware. In: Eurographics/ACM SIGGRAPH Symposium Proceedings: Parallel Graphics and Visualization 2004. The full text of this publication is not available from this repository.

Schweigler, M. and Barnes, F.R.M. and Welch, P.H. (2003) Flexible, Transparent and Dynamic occam Networking with KRoC.net. In: Communicating Process Architectures 2003, SEP 07-10, 2003 , UNIV Twente, Enschde, Nederlands. The full text of this publication is not available from this repository.

Brown, N.C.C. and Welch, P.H. (2003) An Introduction to the Kent C++CSP Library. In: Communicating Process Architectures 2003, SEP 07-10, 2003 , UNIV Twente, Enschde, Nederlands.

Preview

Welch, P.H. and Vinter, B. (2002) Cluster Computing and JCSP Networking. In: Communicating Process Architectures 2002 WoTUG-25, 15-18 September 2002, University of Reading, United Kingdom.

Preview

Welch, P.H. and Aldous, J.R. and Foster, J. (2002) CSP Networking for Java (JCSP.net). In: Sloot, P.M.A. and Tan, C.J.K. and Dongarra, J.J. and Hoekstra, A.G., eds. Computational Science - ICCS 2002 (Pt.2): International Conference, Amsterdam, the Netherlands, April 21-24, 2002. Lecture Notes in Computer Science, 2330. Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin pp. 695-708. ISBN 3-540-43593-X. The full text of this publication is not available from this repository.

Welch, P.H. (2002) Process Oriented Design for Java: Concurrency for All. In: Sloot, P.M.A and Tan, C.J.K and Dongarra, J.J. and Hoekstra, A.G., eds. Computational Science - ICCS 2002 (Pt. 2) International Conference, Amsterdam, the Netherlands, April 21-24, 2002. Lecture Notes in Computer Science, 2330. Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin p. 687. ISBN 9783540435938. The full text of this publication is not available from this repository.

Barnes, F.R.M. and Welch, P.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 Series, No. 59 (59). IOS Press, Amsterdam, The Netherlands pp. 243-264. ISBN 1 58603 202 X.

Preview Preview

Welch, P.H. and Barnes, F.R.M. (2001) Mobile Data Types for Communicating Processes. In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications 2001, Jun 25-28, 2001, Las Vegas, Nv. The full text of this publication is not available from this repository.

Wood, D.C. (2000) An Experiment with Recursion in occam. In: Communicating Process Architectures 2000, Sep, 2000, Canterbury, UK. The full text of this publication is not available from this repository.

Barnes, Frederick R.M. (2000) Blocking System Calls in KRoC/Linux. In: Communicating Process Architectures 2000.

Preview Preview

UNSPECIFIED (2000) Communicating Process Architectures 2000. In: Welch, P.H. and Bakkers, A.W.P., eds. Communicating Process Architectures 2000: Wotug-23 : Proceedings of the 23rd World Occam and Transputer User Group Technical Meeting, 10-13 September 2000, Systems Engineering Series. Concurrent Systems Engineering, 58. IOS Press (Amsterdam) ISBN 978-1586030773 . The full text of this publication is not available from this repository.

Welch, P.H. and Martin, J.M.R. (2000) Formal Analysis of Concurrent Java Systems. In: Communicating Process Architectures 2000, sep, 2000, Canterbury, UK.

Preview

Moores, J. (2000) Native JCSP: the CSP-for-Java Library with a Low-Overhead CPS Kernel. In: Communicating Process Architectures 2000. The full text of this publication is not available from this repository.

Wood, D.C. and Barnes, F.R.M. (2000) Post-Mortem Debugging in KRoC. In: Communicating Process Architectures 2000, Sep, 2000, Canterbury, UK. The full text of this publication is not available from this repository.

Welch, P.H. and Hilderink, G.H. and Schaller, N.C. (2000) Using Java for Parallel Computing: JCSP versus CTJ. In: Communicating Process Architectures 2000.

Preview

Welch, P.H. and Martin, J.M.R. (2000) A CSP Model for Java Multithreading. In: 5th International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE 2000), Jun 10-11, 2000 , Limerick, Ireland. The full text of this publication is not available from this repository.

Welch, P.H. (2000) Process Oriented Design for Java: Concurrency for All. In: International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000), Jun 26-29, 2000, Las Vegas, NV. The full text of this publication is not available from this repository.

Welch, P.H. and Hilderink, G.H. and Bakkers, A.W.P. and Stiles, G.S. (1999) Safe and Verifiable Design of Concurrent Programs. In: Proceedings of the 3rd. International Conference on Software Engineering and Applications. The full text of this publication is not available from this repository.

Vella, K. and Welch, P.H. (1999) CSP/occam on Shared Memory Multiprocessor Workstations. In: 22nd World-Occam-and-Transputer-User-Group Technical Meeting (WoTUG-22), Apr. 11-14, 1999, Keele, England. The full text of this publication is not available from this repository.

Welch, P.H. and Wood, D.C. and Kerridge, J. (1999) Synchronisation Primitives for Highly Parallel Discrete Event Simulations. In: Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS-32), 5-8 January 1999, Hawaii. The full text of this publication is not available from this repository.

Welch, P.H. and Hilderink, G.H. and Bakkers, A.W.P. and Stiles, G.S. (1999) CSP for Java: Multithreading for all. In: 22nd World-Occam-and-Transputer-User-Group Technical Meeting (WoTUG-22), April 11-14, 1999, Keele, England. The full text of this publication is not available from this repository.

Welch, P.H. (1998) Parallel and Distributed Computing in Education (Invited Talk). In: VECPAR''98: Third International Conference on Vector and Parallel Processing - Selected Papers, 21/06/1998, Porto , Portugal .

Preview

Poole, M.D. (1998) Extended Transputer Code - a Target-Independent Representation of Parallel Programs. In: 21st World-Occam-and-Transputer-User-Group Technical Meeting (WoTUG-21) - Architectures, Languages and Patterns for Parallel and Distributed Applications, Apr 05-08, 1998, Canterbury, England. The full text of this publication is not available from this repository.

Welch, P.H. (1998) Java Threads in the Light of occam/CSP. In: Welch, P.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.

Preview

Welch, P.H. (1997) Java Threads in Light of occam/CSP (Tutorial). In: Parallel Programming and Java, Proceedings of WoTUG 20. The full text of this publication is not available from this repository.

Beckett, D.J. and Welch, P.H. (1996) A Strict occam Design Tool. In: Proceedings of UK Parallel ''96. The full text of this publication is not available from this repository.

Welch, P.H. and Beckett, D.J. (1996) Emulating a Secure Multicasting Bus Using occam2.1. In: Parallel Processing Developments -- Proceedings of WoTUG 19. The full text of this publication is not available from this repository.

Beckett, D.J. and Welch, P.H. (1996) Emulating a secure multicasting bus using occam 2.1. In: Oneill, B.C. and Transputer User, Grp, eds. Concurrent Systems Engineering Series. I O S Press pp. 59-73. ISBN 90-5199-261-0. The full text of this publication is not available from this repository.

Wood, D.C. and Welch, P.H. (1996) The Kent retargetable occam compiler. In: 19th World-Occam-and-Transputer-User-Group Technical Meeting - Parallel Processing Developments (WoTUG-19), Nottingham, England. The full text of this publication is not available from this repository.

Ibbetson, A.L. and Linington, P.F. and Penny, I.A. and Smith, A.B. and Tripp, G.E.W. (1995) A Parallel Implementation of the ANSA REX Protocol. In: Transputer Applications and Systems '95 - Proceedings of World Transputer Congress 1995., SEP 04-06, 1995, Harrogate, England. The full text of this publication is not available from this repository.

Welch, P.H. and Cook, B.M. and Jane, M.R. and Nixon, P. (1995) Transputer Applications and Systems ''95, Proceedings of the 1995 World Transputer Congress. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Welch, P.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 available from this repository.

Welch, P.H. and Beckett, D.J. (1995) Real time image scanning on transputers (a case study in parallel design). In: 1995 World Transputer Congress - Transputer Applications and Systems 95, Sep, 04-06, 1995, Harrogate, England. The full text of this publication is not available from this repository.

Dealmeida, F.A. and Welch, P.H. (1994) A Parallel Emulator for a Multi-Processor Dataflow Machine. In: 1994 World Transputer Congress (WTC 94) - Transputer Applications and Systems 94, Como, Italy. The full text of this publication is not available from this repository.

Welch, P.H. and Justo, G.R.R. and Willcock, C.J. (1993) Higher-Level Paradigms for Deadlock-Free High-Performance Systems. In: Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress.

Preview

UNSPECIFIED (1993) Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Bakkers, A.W.P. and Bruis, R. and Roebbers, H.W. and Schaller, N.C. and Schwirtz, M.H. and Sunder, J.P.E. and Wijbrans, K.C.J. and Welch, P.H. (1993) Training for Transputer Technologies. In: Parallel Processing in Education. The full text of this publication is not available from this repository.

Fairhurst, M.C. 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, P.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 available from this repository.

Welch, P.H. and Wood, D.C. (1992) Image Tracking in Real-Time: a Transputer Emulation of some Early Mammalian Vision Processes. In: BMVC92, Proceedings of the British Machine Vision Conference 1992. The full text of this publication is not available from this repository.

Welch, P.H. and Smith, A.B. (1992) A Transputer Based Active Vision System. In: Transputer Systems -- Ongoing Research, Proceedings of WoTUG 15. The full text of this publication is not available from this repository.

Justo, G.R.R. and Welch, P.H. (1992) Serialization as a Paradigm for the Engineering of Parallel Programs. In: Etiemble, D. and Syre, J.C., eds. Parle 92 : Parallel Architectures And Languages Europe. 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 available from this repository.

Welch, P.H. (1991) On the Serialisation of Parallel Programs. In: Occam and the Transputer -- Current Developments, Proceedings of WoTUG 14.

Preview

Welch, P.H. and Justo, G.R.R. (1991) Synthesis of Deadlock-Free Parallel Programs. In: Proceedings of the 3rd pan-Hellenic Conference on Information Technology. The full text of this publication is not available from this repository.

Willcock, C.J. and Welch, P.H. (1991) A Parallel X-Windows Server (a Case Study on occam and Programming-in-the-Large). In: TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference. The full text of this publication is not available from this repository.

UNSPECIFIED (1991) TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Welch, P.H. and Roebbers, H. (1990) A Generalized FFT Algorithm on Transputers. In: Transputer Research and Applications 4, Proceedings of NATUG 4. The full text of this publication is not available from this repository.

Morse, D.R. and Welch, A.M. and Welch, P.H. (1990) Diffusion Limited Aggregation: an Example of Real-Time Parallelisation. In: Real-Time Systems with Transputers, Proceedings of OUG 13. The full text of this publication is not available from this repository.

Welch, P.H. (1990) Multi-Priority Scheduling for Transputer-Based Real-Time Control. In: Real-Time Systems with Transputers, Proceedings of OUG 13. The full text of this publication is not available from this repository.

Welch, P.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. The full text of this publication is not available from this repository.

Welch, P.H. (1990) Parallel Algorithms and Safety-Critical Standards. In: Proceedings of the 10th Benelux Meeting on Systems and Control. The full text of this publication is not available from this repository.

Smith, A.B. and Welch, P.H. (1989) Real-Time Transputer Models of Low-Level Primate Vision. In: Occam and the Transputer, Research and Applications, Proceedings of OUG 11. The full text of this publication is not available from this repository.

Welch, P.H. (1989) Graceful Termination -- Graceful Resetting. In: Applying Transputer-Based Parallel Machines, Proceedings of OUG 10.

Preview

Welch, P.H. (1989) TRANSNET -- A Transputer-Based Communication Service. In: Applying Transputer-Based Parallel Machines, Proceedings of OUG 10. The full text of this publication is not available from this repository.

Welch, P.H. and Hopkins, Tim (1989) Transputer Data-Flow Solutions for Systems of Linear Equations. In: Parallel Computing 1989, Proceedings of the International Conference. The full text of this publication is not available from this repository.

Welch, P.H. (1988) An occam Approach to Transputer Engineering. In: Proceedings of the 3rd. Conference on Hypercube Concurrent Computers and Applications. The full text of this publication is not available from this repository.

Welch, P.H. (1987) Managing Hard Real-Time Demands on Transputers. In: Proceedings of OUG 7 Conference and International Workshop on Parallel Programming of Transputer Based Machines. The full text of this publication is not available from this repository.

Welch, P.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. The full text of this publication is not available from this repository.

Welch, P.H. (1987) Parallel Processes as Reusable Components. In: Ada: Components, Libraries and Tools, Proceedings of the Ada-Europe International Conference, Stockholm. The full text of this publication is not available from this repository.

Welch, P.H. (1986) A Structured Technique for Concurrent Systems Design in Ada. In: Ada: Managing the Transition, Proceedings of the Ada-Europe International Conference, Edinburgh. The full text of this publication is not available from this repository.

Welch, P.H. and Schutt, T.E. (1982) Byte Streams on a Micro-Computer. In: Proceedings of `Structure und Betrieb von Rechensystermen'', Ulm, W. Germany. The full text of this publication is not available from this repository.

Welch, P.H. and Schutt, T.E. (1981) Applying Micro-Computers in a Local Area Network. In: Proceedings of `Local Networks and Distributed Office Systems'', London. The full text of this publication is not available from this repository.

Book

Welch, P.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 available from this repository.

Welch, P.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 available from this repository.

Thesis

Welch, P.H. (1974) The Minimal Continuous Semantics of the Lambda-Calculus. PhD thesis, University of Warwick. The full text of this publication is not available from this repository.

Edited book

McEwan, A.A. and Schneider, S. and Ifill, W. and Welch, P.H., eds. (2007) Communicating Process Architectures 2007: WoTUG-30. Concurrent Systems Engineering , 65 . IOS Press, US, Amsterdam, 528 pp. ISBN 9781586037673. The full text of this publication is not available from this repository.

Welch, P.H. and Kerridge, J. and Barnes, F.R.M., eds. (2006) Communicating Process Architectures 2006: WoTUG-29 Proceedings. Concurrent Systems Engineering , 64 . IOS Press, US, Amsterdam, 400 pp. ISBN 9781586036713. The full text of this publication is not available from this repository.