Peter H. Welch

ORCID

Publication Activity (10 Years)

Years Active: 1975-2018
Publications (10 Years): 1

Top Venues

CPA

Formal Aspects Comput.

University of Warwick, Coventry, UK (PHD)

Education History

University of Warwick, Coventry, UK

PHD

Publications

Jan Bækgaard Pedersen, Peter H. Welch
The symbiosis of concurrency and verification: teaching and case studies. Formal Aspects Comput. 30 (2) (2018)
Peter H. Welch
Life of occam-Pi. CPA (2013)
Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes
Mutually Assured Destruction (or the Joy of Sync). CPA (2013)
Peter H. Welch
An occam Model of XCHANs. CPA (2013)
Peter H. Welch
Cancellable Servers - a Pattern for Curiousity. CPA (2012)
Peter H. Welch
Unfinished Business - occam-pi². CPA (2012)
Peter H. Welch
occam Obviously. CPA (2012)
Peter H. Welch, Kurt C. Wallnau, Adam T. Sampson, Mark Klein
To boldly go: an occam-π mission to engineer emergence. Nat. Comput. 11 (3) (2012)
Eric Bonnici, Peter H. Welch
Mobile Processes and Call Channels with Variant Interfaces (a Duality). CPA (2011)
Peter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown
Adding Formal Verification to occam-π. CPA (2011)
Peter H. Welch, Neil Brown, James Moores, Kevin Chalmers, Bernhard H. C. Sputh
Alting barriers: synchronisation with choice in Java using JCSP. Concurr. Comput. Pract. Exp. 22 (8) (2010)
Peter H. Welch, Jan Bækgaard Pedersen
Santa Claus: Formal analysis of a process-oriented solution. ACM Trans. Program. Lang. Syst. 32 (4) (2010)
Carl G. Ritson, Peter H. Welch
A process-oriented architecture for complex system modelling. Concurr. Comput. Pract. Exp. 22 (8) (2010)
Peter H. Welch, Kurt C. Wallnau, Mark Klein
Engineering Emergence: an occam-pi Adventure. CPA (2009)
Eric Bonnici, Peter H. Welch
Mobile processes, mobile channels and complex dynamic systems. IEEE Congress on Evolutionary Computation (2009)
Paul S. Andrews, Adam T. Sampson, John Markus Bjørndalen, Susan Stepney, Jon Timmis, Douglas N. Warren, Peter H. Welch
Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems. ALIFE (2008)
Peter H. Welch, Fred R. M. Barnes
A CSP Model for Mobile Channels. CPA (2008)
Peter H. Welch, Jan Bækgaard Pedersen
Santa Claus - with Mobile Reindeer and Elves. CPA (2008)
Carl G. Ritson, Peter H. Welch
A Process-Oriented Architecture for Complex System Modelling. CPA (2007)
Peter H. Welch, Neil Brown, James Moores, Kevin Chalmers, Bernhard H. C. Sputh
Integrating and Extending JCSP. CPA (2007)
Peter H. Welch, Fred R. M. Barnes, Fiona Polack
Communicating Complex Systems. ICECCS (2006)
José C. Cunha, Sergei Gorlatch, Daniel J. Quinlan, Peter H. Welch
Topic 9: Parallel Programming: Models, Methods and Languages. Euro-Par (2006)
Susan Stepney, Samuel L. Braunstein, John A. Clark, Andrew M. Tyrrell, Andrew Adamatzky, Robert E. Smith, Thomas R. Addis, Colin G. Johnson, Jonathan Timmis, Peter H. Welch, Robin Milner, Derek Partridge
Journeys in non-classical computation II: initial journeys and waypoints. Int. J. Parallel Emergent Distributed Syst. 21 (2) (2006)
Peter H. Welch
A Fast Resolution of Choice between Multiway Synchronisations (Invited Talk). CPA (2006)
Peter H. Welch, Fred R. M. Barnes
Mobile Barriers for occam-pi: Semantics, Implementation and Application. CPA (2005)
Adam T. Sampson, Peter H. Welch, Fred R. M. Barnes
Lazy Cellular Automata with Communicating Processes. CPA (2005)
Peter H. Welch, Brian Vinter, Fred R. M. Barnes
Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid. PDPTA (2005)
Fred R. M. Barnes, Peter H. Welch, Adam T. Sampson
Barrier Synchronisation for occam-pi. PDPTA (2005)
Susan Stepney, Samuel L. Braunstein, John A. Clark, Andrew M. Tyrrell, Andrew Adamatzky, Robert E. Smith, Tom Addis, Colin G. Johnson, Jonathan Timmis, Peter H. Welch, Robin Milner, Derek Partridge
Journeys in non-classical computation I: A grand challenge for computing research. Parallel Algorithms Appl. 20 (1) (2005)
Fiona Polack, Susan Stepney, Heather R. Turner, Peter H. Welch, Fred R. M. Barnes
An Architecture for Modelling Emergence in CA-Like Systems. ECAL (2005)
Peter H. Welch
Through the Concurrency Gateway: a Challenge from the Near Future of Graphics Hardware. EGPGV (2004)
Peter H. Welch, Fred R. M. Barnes
Communicating Mobile Processes. 25 Years Communicating Sequential Processes (2004)
José C. Cunha, Marco Danelutto, Christoph Herrmann, Peter H. Welch
Topic Introduction. Euro-Par (2003)
Fred R. M. Barnes, Peter H. Welch
Prioritised dynamic communicating and mobile processes. IEE Proc. Softw. 150 (2) (2003)
Peter H. Welch, Jo R. Aldous, Jon Foster
CSP Networking for Java (JCSP.net). International Conference on Computational Science (2) (2002)
Peter H. Welch
Process Oriented Design for Java: Concurrency for All. International Conference on Computational Science (2) (2002)
Peter H. Welch, Jo R. Aldous, Jon Foster
JCSP.net - A Network Extension for JCSP. PDPTA (2002)
Peter H. Welch, Jeremy M. R. Martin
A CSP Model for Java Multithreading. PDSE (2000)
Peter H. Welch
Process Oriented Design for Java: Concurrency for All. PDPTA (2000)
Jon M. Kerridge, Peter H. Welch, David Wood
Synchronization Primitives for Highly Parallel Discrete Event Simulations. HICSS (1999)
Peter H. Welch
Parallel and Distributed Computing in Education. VECPAR (1998)
Tim Hopkins, Peter H. Welch
Transputer data-flow solution for systems of linear equations. Concurr. Pract. Exp. 8 (8) (1996)
George R. Ribeiro-Justo, Peter H. Welch
Improving Performance With Serialisation. PDP (1994)
Peter H. Welch, David C. Wood
Image tracking in real-time: a transputer emulation of some early mammalian vision processes. Image Vis. Comput. 11 (4) (1993)
Peter H. Welch, David C. Wood
Image Tracking in Real-time: A Transputer Emulation of Some Early Mammalian Vision Processes. BMVC (1992)
G. R. Justo, Peter H. Welch
Serialisation as a Paradigm for the Engineering of Parallel Programs. PARLE (1992)
Peter H. Welch
Emulating digital logic using transputer networks (very high parallelism=simplicity=performance). Parallel Comput. 9 (2) (1989)
Peter H. Welch
An OCCAM approach to transputer engineering. C³P (1988)
Peter H. Welch
Emulating Digital Logic using Transputer Networks (very High Parallelism = Simplicity = Performance). PARLE (1) (1987)
Peter H. Welch
Parallel Assignment Revisited. Softw. Pract. Exp. 13 (12) (1983)
Peter H. Welch
Continuous semantics and inside-out reductions. Lambda-Calculus and Computer Science Theory (1975)

Peter H. Welch.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter H. Welch