Peter H. Welch

60 papers A 1B 2C 3Misc 6Journal 12Unranked 27

Year	Rank	Type	Title / Venue / Authors
2018	J	`jnl`	The symbiosis of concurrency and verification: teaching and case studies. Formal Aspects Comput. Jan Bækgaard Pedersen, Peter H. Welch
2013	—	`ed.`	35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013 CPA Peter H. Welch, Frederick R. M. Barnes, Jan F. Broenink, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson
2013	—	`conf`	An occam Model of XCHANs. CPA Peter H. Welch
2013	—	`conf`	Life of occam-Pi. CPA Peter H. Welch
2013	—	`conf`	Mutually Assured Destruction (or the Joy of Sync). CPA Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes
2012	—	`ed.`	34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012 CPA Peter H. Welch, Frederick R. M. Barnes, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson
2012	—	`conf`	Cancellable Servers - a Pattern for Curiousity. CPA Peter H. Welch
2012	J	`jnl`	To boldly go: an occam-π mission to engineer emergence. Nat. Comput. Peter H. Welch, Kurt C. Wallnau, Adam T. Sampson, Mark Klein
2012	—	`conf`	Unfinished Business - occam-pi². CPA Peter H. Welch
2012	—	`conf`	occam Obviously. CPA Peter H. Welch
2011	—	`ed.`	33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011 CPA Peter H. Welch, Adam T. Sampson, Jan Bækgaard Pedersen, Jon M. Kerridge, Jan F. Broenink, Frederick R. M. Barnes
2011	—	`conf`	Adding Formal Verification to occam-π. CPA Peter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown
2011	—	`conf`	Mobile Processes and Call Channels with Variant Interfaces (a Duality). CPA Eric Bonnici, Peter H. Welch
2010	J	`jnl`	A process-oriented architecture for complex system modelling. Concurr. Comput. Pract. Exp. Carl G. Ritson, Peter H. Welch
2010	J	`jnl`	Alting barriers: synchronisation with choice in Java using JCSP. Concurr. Comput. Pract. Exp. Peter H. Welch, Neil Brown, James Moores, Kevin Chalmers, Bernhard H. C. Sputh
2010	J	`jnl`	Santa Claus: Formal analysis of a process-oriented solution. ACM Trans. Program. Lang. Syst. Peter H. Welch, Jan Bækgaard Pedersen
2009	—	`conf`	Engineering Emergence: an occam-pi Adventure. CPA Peter H. Welch, Kurt C. Wallnau, Mark Klein
2009	B	`conf`	Mobile processes, mobile channels and complex dynamic systems. IEEE Congress on Evolutionary Computation Eric Bonnici, Peter H. Welch
2009	—	`ed.`	The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009 CPA Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Fred R. M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, Brian Vinter
2008	—	`conf`	A CSP Model for Mobile Channels. CPA Peter H. Welch, Fred R. M. Barnes
2008	C	`conf`	Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems. ALIFE Paul S. Andrews, Adam T. Sampson, John Markus Bjørndalen, Susan Stepney, Jon Timmis, Douglas N. Warren, Peter H. Welch
2008	—	`conf`	Santa Claus - with Mobile Reindeer and Elves. CPA Peter H. Welch, Jan Bækgaard Pedersen
2008	—	`ed.`	The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008 CPA Peter H. Welch, Susan Stepney, Fiona Polack, Fred R. M. Barnes, Alistair A. McEwan, Gardiner S. Stiles, Jan F. Broenink, Adam T. Sampson
2007	—	`conf`	A Process-Oriented Architecture for Complex System Modelling. CPA Carl G. Ritson, Peter H. Welch
2007	—	`conf`	Integrating and Extending JCSP. CPA Peter H. Welch, Neil Brown, James Moores, Kevin Chalmers, Bernhard H. C. Sputh
2007	—	`ed.`	The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007 CPA Alistair A. McEwan, Steve A. Schneider, Wilson Ifill, Peter H. Welch
2006	—	`conf`	A Fast Resolution of Choice between Multiway Synchronisations (Invited Talk). CPA Peter H. Welch
2006	B	`conf`	Communicating Complex Systems. ICECCS Peter H. Welch, Fred R. M. Barnes, Fiona Polack
2006	J	`jnl`	Journeys in non-classical computation II: initial journeys and waypoints. Int. J. Parallel Emergent Distributed Syst. 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
2006	—	`ed.`	The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006 CPA Peter H. Welch, Jon M. Kerridge, Fred R. M. Barnes
2006	—	`conf`	Topic 9: Parallel Programming: Models, Methods and Languages. Euro-Par José C. Cunha, Sergei Gorlatch, Daniel J. Quinlan, Peter H. Welch
2005	—	`conf`	An Architecture for Modelling Emergence in CA-Like Systems. ECAL Fiona Polack, Susan Stepney, Heather R. Turner, Peter H. Welch, Fred R. M. Barnes
2005	Misc	`conf`	Barrier Synchronisation for occam-pi. PDPTA Fred R. M. Barnes, Peter H. Welch, Adam T. Sampson
2005	Misc	`conf`	Initial Experiences with occam-pi Simulations of Blood Clotting on the Minimum Intrusion Grid. PDPTA Peter H. Welch, Brian Vinter, Fred R. M. Barnes
2005	J	`jnl`	Journeys in non-classical computation I: A grand challenge for computing research. Parallel Algorithms Appl. 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
2005	—	`conf`	Lazy Cellular Automata with Communicating Processes. CPA Adam T. Sampson, Peter H. Welch, Fred R. M. Barnes
2005	—	`conf`	Mobile Barriers for occam-pi: Semantics, Implementation and Application. CPA Peter H. Welch, Fred R. M. Barnes
2005	—	`ed.`	The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005 CPA Jan F. Broenink, Herman W. Roebbers, Johan P. E. Sunter, Peter H. Welch, David C. Wood
2004	—	`conf`	Communicating Mobile Processes. 25 Years Communicating Sequential Processes Peter H. Welch, Fred R. M. Barnes
2004	C	`conf`	Through the Concurrency Gateway: a Challenge from the Near Future of Graphics Hardware. EGPGV Peter H. Welch
2003	J	`jnl`	Prioritised dynamic communicating and mobile processes. IEE Proc. Softw. Fred R. M. Barnes, Peter H. Welch
2003	—	`conf`	Topic Introduction. Euro-Par José C. Cunha, Marco Danelutto, Christoph Herrmann, Peter H. Welch
2002	Misc	`conf`	CSP Networking for Java (JCSP.net). International Conference on Computational Science (2) Peter H. Welch, Jo R. Aldous, Jon Foster
2002	Misc	`conf`	JCSP.net - A Network Extension for JCSP. PDPTA Peter H. Welch, Jo R. Aldous, Jon Foster
2002	Misc	`conf`	Process Oriented Design for Java: Concurrency for All. International Conference on Computational Science (2) Peter H. Welch
2000	—	`conf`	A CSP Model for Java Multithreading. PDSE Peter H. Welch, Jeremy M. R. Martin
2000	Misc	`conf`	Process Oriented Design for Java: Concurrency for All. PDPTA Peter H. Welch
1999	—	`conf`	Synchronization Primitives for Highly Parallel Discrete Event Simulations. HICSS Jon M. Kerridge, Peter H. Welch, David Wood
1998	—	`conf`	Parallel and Distributed Computing in Education. VECPAR Peter H. Welch
1996	J	`jnl`	Transputer data-flow solution for systems of linear equations. Concurr. Pract. Exp. Tim R. Hopkins, Peter H. Welch
1994	C	`conf`	Improving Performance With Serialisation. PDP George R. Ribeiro-Justo, Peter H. Welch
1993	J	`jnl`	Image tracking in real-time: a transputer emulation of some early mammalian vision processes. Image Vis. Comput. Peter H. Welch, David C. Wood
1992	A	`conf`	Image Tracking in Real-time: A Transputer Emulation of Some Early Mammalian Vision Processes. BMVC Peter H. Welch, David C. Wood
1992	—	`conf`	Serialisation as a Paradigm for the Engineering of Parallel Programs. PARLE George R. Ribeiro-Justo, Peter H. Welch
1989	J	`jnl`	Emulating digital logic using transputer networks (very high parallelism=simplicity=performance). Parallel Comput. Peter H. Welch
1988	—	`conf`	An OCCAM approach to transputer engineering. C³P Peter H. Welch
1987	—	`conf`	Emulating Digital Logic using Transputer Networks (very High Parallelism = Simplicity = Performance). PARLE (1) Peter H. Welch
1983	J	`jnl`	Parallel Assignment Revisited. Softw. Pract. Exp. Peter H. Welch
1975	—	`conf`	Continuous semantics and inside-out reductions. Lambda-Calculus and Computer Science Theory Peter H. Welch
1974	—	`—`	The minimal continuous semantics of the lambda-calculus. Peter H. Welch