Peter H. Welch

According to our database, Peter H. Welch authored at least 48 papers between 1974 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

The symbiosis of concurrency and verification: teaching and case studies.

Jan Bækgaard Pedersen, Peter H. Welch

Formal Aspects Comput., 2018

2013

Mutually Assured Destruction (or the Joy of Sync).

Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes

Proceedings of the 35th Communicating Process Architectures, 2013

An occam Model of XCHANs.

Peter H. Welch

Proceedings of the 35th Communicating Process Architectures, 2013

Life of occam-Pi.

Peter H. Welch

Proceedings of the 35th Communicating Process Architectures, 2013

2012

To boldly go: an occam-π mission to engineer emergence.

Peter H. Welch, Kurt C. Wallnau, Adam T. Sampson, Mark Klein

Nat. Comput., 2012

Unfinished Business - occam-pi².

Peter H. Welch

Proceedings of the 34th Communicating Process Architectures, 2012

Cancellable Servers - a Pattern for Curiousity.

Peter H. Welch

Proceedings of the 34th Communicating Process Architectures, 2012

occam Obviously.

Peter H. Welch

Proceedings of the 34th Communicating Process Architectures, 2012

2011

Adding Formal Verification to occam-π.

Peter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown

Proceedings of the 33th Communicating Process Architectures Conference, 2011

Mobile Processes and Call Channels with Variant Interfaces (a Duality).

Eric Bonnici, Peter H. Welch

Proceedings of the 33th Communicating Process Architectures Conference, 2011

2010

Santa Claus: Formal analysis of a process-oriented solution.

Peter H. Welch, Jan Bækgaard Pedersen

ACM Trans. Program. Lang. Syst., 2010

Alting barriers: synchronisation with choice in Java using JCSP.

Peter H. Welch, Neil Brown, James Moores, Kevin Chalmers, Bernhard H. C. Sputh

Concurr. Comput. Pract. Exp., 2010

A process-oriented architecture for complex system modelling.

Carl G. Ritson, Peter H. Welch

Concurr. Comput. Pract. Exp., 2010

2009

Engineering Emergence: an occam-pi Adventure.

Peter H. Welch, Kurt C. Wallnau, Mark Klein

Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

Mobile processes, mobile channels and complex dynamic systems.

Eric Bonnici, Peter H. Welch

Proceedings of the IEEE Congress on Evolutionary Computation, 2009

2008

Santa Claus - with Mobile Reindeer and Elves.

Peter H. Welch, Jan Bækgaard Pedersen

Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

A CSP Model for Mobile Channels.

Peter H. Welch, Fred R. M. Barnes

Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems.

Paul S. Andrews, Adam T. Sampson, John Markus Bjørndalen, Susan Stepney, Jon Timmis, Douglas N. Warren, Peter H. Welch

Proceedings of the Eleventh International Conference on the Synthesis and Simulation of Living Systems, 2008

2007

Integrating and Extending JCSP.

Peter H. Welch, Neil Brown, James Moores, Kevin Chalmers, Bernhard H. C. Sputh

Proceedings of the 30th Communicating Process Architectures Conference, 2007

2006

Journeys in non-classical computation II: initial journeys and waypoints.

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

Int. J. Parallel Emergent Distributed Syst., 2006

A Fast Resolution of Choice between Multiway Synchronisations (Invited Talk).

Peter H. Welch

Proceedings of the 29th Communicating Process Architectures Conference, 2006

Communicating Complex Systems.

Peter H. Welch, Fred R. M. Barnes, Fiona Polack

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Topic 9: Parallel Programming: Models, Methods and Languages.

José C. Cunha, Sergei Gorlatch, Daniel J. Quinlan, Peter H. Welch

Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

2005

Journeys in non-classical computation I: A grand challenge for computing research.

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

Parallel Algorithms Appl., 2005

Mobile Barriers for occam-pi: Semantics, Implementation and Application.

Peter H. Welch, Fred R. M. Barnes

Proceedings of the 28th Communicating Process Architectures Conference, 2005

Lazy Cellular Automata with Communicating Processes.

Adam T. Sampson, Peter H. Welch, Fred R. M. Barnes

Proceedings of the 28th Communicating Process Architectures Conference, 2005

Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid.

Peter H. Welch, Brian Vinter, Fred R. M. Barnes

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2005

Barrier Synchronisation for occam-pi.

Fred R. M. Barnes, Peter H. Welch, Adam T. Sampson

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2005

An Architecture for Modelling Emergence in CA-Like Systems.

Fiona Polack, Susan Stepney, Heather R. Turner, Peter H. Welch, Fred R. M. Barnes

Proceedings of the Advances in Artificial Life, 8th European Conference, 2005

2004

Through the Concurrency Gateway: a Challenge from the Near Future of Graphics Hardware.

Peter H. Welch

Proceedings of the 5th Eurographics/ACM SIGGRAPH Symposium on Parallel Graphics and Visualization, 2004

Communicating Mobile Processes.

Peter H. Welch, Fred R. M. Barnes

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

2003

Prioritised dynamic communicating and mobile processes.

Fred R. M. Barnes, Peter H. Welch

IEE Proc. Softw., 2003

Topic Introduction.

José C. Cunha, Marco Danelutto, Christoph Herrmann, Peter H. Welch

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

2002

JCSP.net - A Network Extension for JCSP.

Peter H. Welch, Jo R. Aldous, Jon Foster

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

CSP Networking for Java (JCSP.net).

Peter H. Welch, Jo R. Aldous, Jon Foster

Proceedings of the Computational Science - ICCS 2002, 2002

2000

A CSP Model for Java Multithreading.

Peter H. Welch, Jeremy M. R. Martin

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 2000

Process Oriented Design for Java: Concurrency for All.

Peter H. Welch

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

1999

Synchronization Primitives for Highly Parallel Discrete Event Simulations.

Jon M. Kerridge, Peter H. Welch, David Wood

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1998

Parallel and Distributed Computing in Education.

Peter H. Welch

Proceedings of the Vector and Parallel Processing, 1998

1996

Transputer data-flow solution for systems of linear equations.

Tim Hopkins, Peter H. Welch

Concurr. Pract. Exp., 1996

1994

Improving Performance With Serialisation.

George R. Ribeiro-Justo, Peter H. Welch

Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

1993

Image tracking in real-time: a transputer emulation of some early mammalian vision processes.

Peter H. Welch, David C. Wood

Image Vis. Comput., 1993

1992

Serialisation as a Paradigm for the Engineering of Parallel Programs.

George R. Ribeiro-Justo, Peter H. Welch

Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

1989

Emulating digital logic using transputer networks (very high parallelism=simplicity=performance).

Peter H. Welch

Parallel Comput., 1989

1988

An OCCAM approach to transputer engineering.

Peter H. Welch

Proceedings of the Third Conference on Hypercube Concurrent Computers and Applications, 1988

1983

Parallel Assignment Revisited.

Peter H. Welch

Softw. Pract. Exp., 1983

1975

Continuous semantics and inside-out reductions.

Peter H. Welch

Proceedings of the Lambda-Calculus and Computer Science Theory, 1975

1974

The minimal continuous semantics of the lambda-calculus.

Peter H. Welch

PhD thesis, 1974