Peter Welch
Peter Welch
Affiliation inconnue
Adresse e-mail validée de kent.ac.uk
Titre
Citée par
Citée par
Année
Communicating mobile processes
PH Welch, FRM Barnes
Communicating Sequential Processes. The First 25 Years, 175-210, 2005
1932005
Process Oriented Design for Java: Concurrency for All.
PH Welch
Lecture Notes in Computer Science, 687-687, 2002
1422002
Integrating and extending JCSP
PH Welch, NCC Brown, J Moores, K Chalmers, BHC Sputh
IOS Press, US, 2007
1192007
Journeys in non-classical computation I: A grand challenge for computing research
S Stepney, SL Braunstein, JA Clark, A Tyrrell, A Adamatzky, RE Smith, ...
International Journal of Parallel, Emergent and Distributed Systems 20 (1), 5-19, 2005
1052005
An introduction to the Kent C++ CSP Library
NCC Brown, PH Welch
Communicating Process Architectures 2003, 139-156, 2003
962003
Higher-level paradigms for deadlock-free high-performance systems
PH Welch, GRR Justo, CJ Willcock
Transputer Applications and Systems''93, Proceedings of the 1993 World …, 1993
911993
A CSP model for Java multithreading
PH Welch, JMR Martin
Software Engineering for Parallel and Distributed Systems, International …, 2000
892000
CSP networking for java (JCSP. net)
PH Welch, JR Aldous, J Foster
International Conference on Computational Science, 695-708, 2002
812002
Java Threads in the Light of occam/CSP
PH Welch
Architectures, Languages and Patterns for Parallel and Distributed …, 1998
661998
Journeys in non-classical computation II: initial journeys and waypoints
S Stepney, SL Braunstein, JA Clark, A Tyrrell, A Adamatzky, RE Smith, ...
The International Journal of Parallel, Emergent and Distributed Systems 21 …, 2006
622006
Communicating mobile processes
FRM Barnes, PH Welch
Communicating process architectures 62, 201-218, 2004
622004
A design strategy for deadlock-free concurrent systems
JMR Martin, PH Welch
Transputer Communications 3 (4), 215-232, 1997
591997
Formal analysis of concurrent java systems
PH Welch, JMR Martin
Communicating Process Architectures 58, 275-301, 2000
582000
Emulating digital logic using transputer networks (very high parallelism= simplicity= performance)
PH Welch
International Conference on Parallel Architectures and Languages Europe, 357-373, 1987
521987
Mobile data, dynamic allocation and zero aliasing: an occam experiment
FRM Barnes, PH Welch
IOS Press, 2001
482001
Graceful Termination--Graceful Resetting
PH Welch
Applying Transputer-Based Parallel Machines, Proceedings of OUG 10, 310-317, 1989
481989
Prioritised dynamic communicating processes: Part 2
FRM Barnes, PH Welch
Communicating Process Architectures 2002, 353-370, 2002
472002
Prioritised dynamic communicating and mobile processes
FRM Barnes, PH Welch
IEE Proceedings-Software 150 (2), 121-136, 2003
422003
A process‐oriented architecture for complex system modelling
CG Ritson, PH Welch
Concurrency and Computation: Practice and Experience 22 (8), 965-980, 2010
402010
Mobile Barriers for occam-pi: Semantics, Implementation and Application.
PH Welch, FRM Barnes
CPA 5, 289-316, 2005
382005
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20