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: 155.

Article

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

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

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

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

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

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

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

Welch, Peter H. (1997) Ignore the monitor methods! Computer, 30 (7). 7-&. ISSN 0018-9162. (The full text of this publication is not available from this repository)

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

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 available from this repository)

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

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

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

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

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 available from this repository)

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 available from this repository)

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

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) Safety First. Occam User Group Newsletter, 12 . pp. 22-27. (The full text of this publication is not available from this repository)

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 available from this repository)

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

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

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 available from this repository)

Welch, Peter 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, 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 available from this repository)

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 available from this repository)

Book section

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 9781586037673. (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 9781586035617. (The full text of this publication is not available from this repository)

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 9781586035617. (The full text of this publication is not available from this repository)

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 available from this repository)

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 available from this repository)

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 available from this repository)

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 available from this repository)

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 available from this repository)

Monograph

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 available from this repository)

Welch, Peter H. (1991) GOING TO Ceed? Technical report. UKC, University of Kent, Canterbury, UK (The full text of this publication is not available from this repository)

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 available from this repository)

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 available from this repository)

Welch, Peter 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

Ritson, Carl G. and Barnes, Frederick R.M. (2013) An Evaluation of Intel's Restricted Transactional Memory for CPAs. In: Communicating Process Architectures 2013, 25 Aug - 28 Aug 2013, Edinburgh Napier University, UK. (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: Communicating Process Architectures 2013, 25 Aug - 28 Aug 2013, Edinburgh Napier University, UK. (Full text available)
[img]
Preview

Brown, Neil C.C. (2009) Auto-Mobiles: Optimised Message-Passing. In: Communicating Process Architectures 2009. (Full text available)
[img]
Preview

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)

Brown, Neil C.C. and Smith, Marc L. (2009) Relating and Visualising CSP, VCR and Structural Traces. In: Communicating Process Architectures 2009. (Full text available)
[img]
Preview

Simpson, Jonathan and Ritson, Carl G. (2009) Toward Process Architectures for Behavioural Robotics. In: Communicating Process Architectures 2009. (The full text of this publication is not available from this repository)

Bonnici, Eric and Welch, Peter H. (2009) Mobile Processes, Mobile Channels and Dynamic Systems. In: 2009 IEEE Congress on Evolutionary Computation (CEC 2009). (Full text available)
[img]
Preview

Welch, Peter H. and Barnes, Frederick R.M. (2008) A CSP Model for Mobile Channels. In: Communicating Process Architectures 2008, SEP 07-10, 2008, York, England. (Full text available)
[img]
Preview

Brown, Neil C.C. (2008) Communicating Haskell Processes: Composable Explicit Concurrency Using Monads. In: Communicating Process Architectures 2008. (Full text available)
[img]
Preview

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: Communicating Process Architectures 2008. (Full text available)
[img]
Preview

Brown, Neil C.C. and Smith, Marc L. (2008) Representation and Implementation of CSP and VCR Traces. In: Communicating Process Architectures 2008, Sep 07-10, 2008, York, England. (Full text available)
[img]
Preview

Welch, Peter 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)

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: Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008. (Full text available)
[img]
Preview

Sampson, Adam T. (2008) Two-Way Protocols for occam-pi. In: Communicating Process Architectures 2008. (Full text available)
[img]
Preview

Ritson, Carl G. and Simpson, Jonathan (2008) Virtual Machine Based Debugging for occam-pi. In: Communicating Process Architectures 2008, SEP 07-10, 2008, York, England. (Full text available)
[img]
Preview

Simpson, Jonathan and Jacobsen, Christian L. (2008) Visual Process-oriented Programming for Robotics. In: Communicating Process Architectures 2008. (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: Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. (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: Communicating Process Architectures 2007. (Full text available)
[img]
Preview

Ritson, Carl G. and Barnes, Frederick R.M. (2007) A Process Oriented Approach to USB Driver Development. In: Communicating Process Architectures 2007, 2007. (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

Brown, Neil C.C. (2007) C++CSP2: A Many-to-Many Threading Model for Multicore Architectures. In: Communicating Process Architectures 2007, 2007. (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: Communicating Process Architectures 2007, Jul, 2007, Guildford. (Full text available)
[img]
Preview

Dimmich, Damian J. and Jacobsen, Christian L. and Jadud, Matthew C. (2006) A Cell Transterpreter. In: Communicating Process Architectures 2006: WoTUG-29. (Full text available)
[img]
Preview

Barnes, Frederick R.M. (2006) Compiling CSP. In: Proceedings of Communicating Process Architectures 2006 (CPA-2006), Edinburgh, Scotland. (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: Communicating Process Architectures 2006. (The full text of this publication is not available from this repository)

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

Ritson, Carl G. and Sampson, Adam T. and Barnes, Frederick R.M. (2006) Video Processing in occam-pi. In: Communicating Process Architectures 2006. (Full text available)
[img]
Preview

Schweigler, Mario and Sampson, Adam T. (2006) pony - The occam-pi Network Environment. In: Communicating Process Architectures 2006. (Full text available)
[img]
Preview

Welch, Peter H. and Barnes, Frederick R.M. and Polack, Fiona A.C. (2006) Communicating Complex Systems. In: 11th International Conference on Engineering of Complex Computer Systems, 15-17 August 2006, Stanford, California (USA). (Full text available)
[img]
Preview

Dimmich, Damian J. and Jacobsen, Christian L. (2005) A Foreign Function Interface Generator for occam-pi. In: Communicating Process Architectures 2005. (Full text available)
[img]
Preview

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: Advances in Artificial Life, 8th European Conference on Artificial Life (ECAL 2005). (Full text available)
[img]
Preview

Sampson, Adam T. and Welch, Peter H. and Barnes, Frederick 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)

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 available from this repository)

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 available from this repository)

Welch, Peter H. and Barnes, Frederick 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. (Full text available)
[img]
Preview

Barnes, Frederick R.M. and Welch, Peter H. (2004) Communicating Mobile Processes. In: Communicating Process Architectures 2004, Sep 05-08, 2004 , Oxford Brooks Univ, Oxford, England, . (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: Communicating Process Architectures 2004, Sep 05-08, 2004 , Oxford Brooks Univ, Oxford, England. (Full text available)
[img]
Preview

Jacobsen, Christian L. and Jadud, Matthew C. (2004) The Transterpreter: A Transputer Interpreter. In: Communicating Process Architectures 2004, SEP 05-08, 2004 , Oxford Brooks Univ, Oxford, England. (Full text available)
[img]
Preview

Welch, Peter 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, Mario and Barnes, Frederick R.M. and Welch, Peter 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, Neil C.C. and Welch, Peter H. (2003) An Introduction to the Kent C++CSP Library. In: Communicating Process Architectures 2003, SEP 07-10, 2003 , UNIV Twente, Enschde, Nederlands. (Full text available)
[img]
Preview

Welch, Peter H. and Vinter, Brian (2002) Cluster Computing and JCSP Networking. In: Communicating Process Architectures 2002 WoTUG-25, 15-18 September 2002, University of Reading, United Kingdom. (Full text available)
[img]
Preview

Barnes, Frederick R.M. and Welch, Peter H. (2002) Prioritised Dynamic Communicating Processes: Part 1. In: Communicating Process Architectures 2002:WoTUG-25, 15-18 September 2002, University of Reading, United Kingdom. (The full text of this publication is not available from this repository)

Barnes, Frederick R.M. and Welch, Peter H. (2002) Prioritised Dynamic Communicating Processes: Part 2. In: Communicating Process Architectures 2002:WoTUG-25, 15-18 September 2002, University of Reading, United Kingdom. (Full text available)
[img]
Preview
[img]
Preview

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 (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, 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 (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, 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 Series, No. 59 (59). IOS Press, Amsterdam, The Netherlands pp. 243-264. ISBN 1 58603 202 X. (Full text available)
[img]
Preview
[img]
Preview

Welch, Peter H. and Barnes, Frederick 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, David 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. (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. 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, Peter H. and Martin, Jeremy M. R. (2000) Formal Analysis of Concurrent Java Systems. In: Communicating Process Architectures 2000, sep, 2000, Canterbury, UK. (Full text available)
[img]
Preview

Moores, James (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, David C. and Barnes, Frederick 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, Peter H. and Hilderink, Gerald H. and Schaller, Nan C. (2000) Using Java for Parallel Computing: JCSP versus CTJ. In: Communicating Process Architectures 2000. (Full text available)
[img]
Preview

Welch, Peter H. and Martin, Jeremy 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, Peter 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, Peter H. and Hilderink, Gerald H. and Bakkers, A.W.P. and Stiles, Gardiner 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, Kevin J. and Welch, Peter 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, Peter H. and Wood, David C. and Kerridge, Jon M. (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, Peter H. and Hilderink, Gerald H. and Bakkers, A.W.P. and Stiles, Gardiner 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, Peter 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 . (Full text available)
[img]
Preview

Poole, Michael 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, 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. and Wood, David C. (1997) Higher Levels of Process Synchronisation. In: Parallel Programming and Java, Proceedings of WoTUG 20, Apr 13-16, 1997 , Enschede, Netherlands,. (Full text available)
[img]
Preview

Welch, Peter 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, David J. and Welch, Peter 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, Peter H. and Beckett, David 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, 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. 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, David C. and Welch, Peter 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, 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: 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, 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 available from this repository)

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: International Conference and Exhibition on High-Performance Computing and Networking, Milan, Italy. (The full text of this publication is not available from this repository)

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 available from this repository)

Welch, Peter H. and Beckett, David 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, Peter 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, Peter H. and Justo, George R. R. and Willcock, Colin J. (1993) Higher-Level Paradigms for Deadlock-Free High-Performance Systems. In: Transputer Applications and Systems ''93, Proceedings of the 1993 World Transputer Congress. (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 available from this repository)

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

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 available from this repository)

Welch, Peter H. and Wood, David 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, Peter H. and Smith, Abraham 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, 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. 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, Peter H. (1991) On the Serialisation of Parallel Programs. In: Occam and the Transputer -- Current Developments, Proceedings of WoTUG 14. (Full text available)
[img]
Preview

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

Willcock, C.J. and Welch, Peter 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)

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 available from this repository)

Welch, Peter 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, David R. and Welch, A.M. and Welch, Peter 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, Peter 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, 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. (The full text of this publication is not available from this repository)

Welch, Peter 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, Abraham B. and Welch, Peter 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, Peter H. (1989) Graceful Termination -- Graceful Resetting. In: Applying Transputer-Based Parallel Machines, Proceedings of OUG 10. (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. (The full text of this publication is not available from this repository)

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

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

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

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

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

Book

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 available from this repository)

Thesis

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 available from this repository)

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 9780956540959. (The full text of this publication is not available from this repository)

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 9781607507734. (The full text of this publication is not available from this repository)

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 available from this repository)

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 available from this repository)

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 9781586037673. (The full text of this publication is not available from this repository)

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 9781586036713. (The full text of this publication is not available from this repository)

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 9781586032685. (The full text of this publication is not available from this repository)

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 available from this repository)

This list was generated on Sat Nov 1 12:12:03 2014 GMT.