Peter H. Welch - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 52 from 52

2018

The symbiosis of concurrency and verification: teaching and case studiesJan Bækgaard Pedersen, Peter H. Welch. fac, 30(2):239-277, 2018. [doi]

2013

Life of occam-PiPeter H. Welch. wotug 2013: 293-318 [doi]

An occam Model of XCHANsPeter H. Welch. wotug 2013: 329-330 [doi]

Mutually Assured Destruction (or the Joy of Sync)Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes. wotug 2013: 319-320 [doi]

2012

occam ObviouslyPeter H. Welch. wotug 2012: 213-214 [doi]

Unfinished Business - occam-pi²Peter H. Welch. wotug 2012: [doi]

Cancellable Servers - a Pattern for CuriousityPeter H. Welch. wotug 2012: [doi]

To boldly go: an occam-π mission to engineer emergencePeter H. Welch, Kurt C. Wallnau, Adam T. Sampson, Mark Klein. nc, 11(3):449-474, 2012. [doi]

2011

Mobile Processes and Call Channels with Variant Interfaces (a Duality)Eric Bonnici, Peter H. Welch. wotug 2011: 377 [doi]

Adding Formal Verification to occam-πPeter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown. wotug 2011: 379 [doi]

2010

A process-oriented architecture for complex system modellingCarl G. Ritson, Peter H. Welch. concurrency, 22(8):965-980, 2010. [doi]

Santa Claus: Formal analysis of a process-oriented solutionPeter H. Welch, Jan Bækgaard Pedersen. TOPLAS, 32(4), 2010. [doi]

Alting barriers: synchronisation with choice in Java using JCSPPeter H. Welch, Neil Brown, James Moores, Kevin Chalmers, Bernhard H. C. Sputh. concurrency, 22(8):1049-1062, 2010. [doi]

2009

Mobile processes, mobile channels and complex dynamic systemsEric Bonnici, Peter H. Welch. cec 2009: 232-239 [doi]

Engineering Emergence: an occam-pi AdventurePeter H. Welch, Kurt C. Wallnau, Mark Klein. wotug 2009: 403 [doi]

2008

2007

A Process-Oriented Architecture for Complex System ModellingCarl G. Ritson, Peter H. Welch. wotug 2007: 249-266

Integrating and Extending JCSPPeter H. Welch, Neil Brown, James Moores, Kevin Chalmers, Bernhard H. C. Sputh. wotug 2007: 349-370

2006

2005

Barrier Synchronisation for occam-piFred R. M. Barnes, Peter H. Welch, Adam T. Sampson. pdpta 2005: 173-179

An Architecture for Modelling Emergence in CA-Like SystemsFiona A. C. Polack, Susan Stepney, Heather R. Turner, Peter H. Welch, Fred R. M. Barnes. ecal 2005: 433-442 [doi]

Lazy Cellular Automata with Communicating ProcessesAdam T. Sampson, Peter H. Welch, Fred R. M. Barnes. wotug 2005: 165-175

Journeys in non-classical computation I: A grand challenge for computing researchSusan 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. paapp, 20(1):5-19, 2005. [doi]

Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion GridPeter H. Welch, Brian Vinter, Fred R. M. Barnes. pdpta 2005: 201-207

Mobile Barriers for occam-pi: Semantics, Implementation and ApplicationPeter H. Welch, Fred R. M. Barnes. wotug 2005: 289-316

2004

Communicating Mobile ProcessesPeter H. Welch, Fred R. M. Barnes. BIRTHDAY 2005: 175-210 [doi]

Through the Concurrency Gateway: a Challenge from the Near Future of Graphics HardwarePeter H. Welch. egpgv 2004: 17-22

2003

Prioritised dynamic communicating and mobile processesFred R. M. Barnes, Peter H. Welch. iee, 150(2):121-136, 2003.

Topic IntroductionJosé C. Cunha, Marco Danelutto, Christoph Herrmann, Peter H. Welch. europar 2003: 681 [doi]

2002

CSP Networking for Java (JCSP.net)Peter H. Welch, Jo R. Aldous, Jon Foster. iccS 2002: 695-708 [doi]

Process Oriented Design for Java: Concurrency for AllPeter H. Welch. iccS 2002: 687 [doi]

JCSP.net - A Network Extension for JCSPPeter H. Welch, Jo R. Aldous, Jon Foster. pdpta 2002: 318-324

2000

A CSP Model for Java MultithreadingPeter H. Welch, Jeremy M. R. Martin. pdse 2000: 114-122 [doi]

Process Oriented Design for Java: Concurrency for AllPeter H. Welch. pdpta 2000:

1999

Synchronization Primitives for Highly Parallel Discrete Event SimulationsJon M. Kerridge, Peter H. Welch, David Wood. hicss 1999: [doi]

1998

Parallel and Distributed Computing in EducationPeter H. Welch. vecpar 1999: 301-330

1996

Transputer data-flow solution for systems of linear equationsTim Hopkins, Peter H. Welch. concurrency, 8(8):569-580, 1996.

1994

Improving Performance With SerialisationGeorge R. Ribeiro-Justo, Peter H. Welch. pdp 1994: 496-502 [doi]

1993

Image tracking in real-time: a transputer emulation of some early mammalian vision processesPeter H. Welch, David C. Wood. ivc, 11(4):221-228, 1993. [doi]

1992

Serialisation as a Paradigm for the Engineering of Parallel ProgramsG. R. Justo, Peter H. Welch. parle 1992: 975-976

Image Tracking in Real-time: A Transputer Emulation of Some Early Mammalian Vision ProcessesPeter H. Welch, David C. Wood. bmvc 1992: 1-10 [doi]

1989

Emulating digital logic using transputer networks (very high parallelism=simplicity=performance)Peter H. Welch. pc, 9(2):257-272, 1989.

1988

An OCCAM approach to transputer engineeringPeter H. Welch. c3p 1988: 138-147 [doi]

1987

Emulating Digital Logic using Transputer Networks (very High Parallelism = Simplicity = Performance)Peter H. Welch. parle 1987: 357-373

1983

Parallel Assignment RevisitedPeter H. Welch. SPE, 13(12):1175-1180, 1983.

1975

Continuous semantics and inside-out reductionsPeter H. Welch. lambda 1975: 122-146

1974

The minimal continuous semantics of the lambda-calculusPeter H. Welch. PhD thesis, University of Warwick, Coventry, UK, 1974. [doi]

Sign in or sign up to see more results.

runs on WebDSL