Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 20.

2000

Barnes, Frederick R.M. (2000) Blocking System Calls in KRoC/Linux. In: Welch, Peter H. and Bakkers, A.W.P., eds. Communicating Process Architectures 2000. Concurrent Systems Engineering Series, 58. IOS Press pp. 155-178. ISBN 1-58603-077-9. (Full text available)
[img]
Preview
[img]
Preview

Welch, Peter H. (2000) Communicating Process Architectures 2000. In: Welch, Peter H. and Bakkers, A.W.P., eds. WoTUG-23, Proceedings of the 23rd World Occam and Transputer User Group Technical Meeting. Concurrent Systems Engineering, 58. IOS Press (Amsterdam) ISBN 978-1-58603-077-3. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Wood, David C. (2000) An Experiment with Recursion in occam. In: Welch, Peter H. and Bakkers, A.W.P., eds. Communicating Process Architectures 2000. Concurrent Systems Engineering, 58. IOS Press (Amsterdam) pp. 193-204. ISBN 1-58603-077-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. and Martin, Jeremy M. R. (2000) Formal Analysis of Concurrent Java Systems. In: Welch, Peter H. and Bakkers, A.W.P., eds. Communicating Process Architectures 2000. Concurrent Systems Engineering, 58. IOS Press (Amsterdam) pp. 275-301. ISBN 1586030779 ; 4274904016. (Full text available)
[img]
Preview

Moores, James (2000) Native JCSP: the CSP-for-Java Library with a Low-Overhead CPS Kernel. In: Welch, Peter H. and Bakkers, A.W.P., eds. Communicating Process Architectures 2000. Concurrent Systems Engineering, 58. IOS Press (Amsterdam) pp. 263-273. ISBN 1-58603-077-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Wood, David C. and Barnes, Frederick R.M. (2000) Post-Mortem Debugging in KRoC. In: Welch, Peter H. and Bakkers, A.W.P., eds. Communicating Process Architectures 2000. Concurrent Systems Engineering, 58. IOS Press (Amsterdam) pp. 179-191. ISBN 1586030779 ; 4274904016. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. and Hilderink, Gerald H. and Schaller, Nan C. (2000) Using Java for Parallel Computing: JCSP versus CTJ. In: Welch, Peter H. and Bakkers, A.W.P., eds. Communicating Process Architectures 2000. Concurrent Systems Engineering, 58. IOS Press (Amsterdam) pp. 205-226. ISBN 1-58603-077-9. (Full text available)
[img]
Preview

1999

Welch, Peter H. and Hilderink, Gerald H. and Bakkers, A.W.P. and Stiles, Gardiner S. (1999) Safe and Verifiable Design of Concurrent Programs. In: Furht, Borko, ed. Proceedings of the 3rd. International Conference on Software Engineering and Applications. pp. 20-26. ISBN 0-88986-273-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. and Hilderink, Gerald H. and Bakkers, A.W.P. and Stiles, Gardiner S. (1999) CSP for Java: Multithreading for all. In: Cook, Barry M., ed. Architectures, Languages and Techniques for Concurrent Systems. Concurrent Systems Engineering Series, 57. I O S Press pp. 277-278. ISBN 90-5199-480-X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

1998

Welch, Peter H. and Bakkers, A.W.P., eds. (1998) Architectures, Languages and Patterns for Parallel and Distributed Applications. Concurrent Systems Engineering Series, 52 . IOS Press (Amsterdam) ISBN 90-5199-391-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Poole, Michael D. (1998) Extended Transputer Code - a Target-Independent Representation of Parallel Programs. In: Welch, Peter H. and Bakkers, A.W.P., eds. Architectures, Languages and Patterns for Parallel and Distributed Applications. Concurrent Systems Engineering, 52. IOS Press pp. 187-198. ISBN 90-5199-391-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. (1998) Java Threads in the Light of occam/CSP. In: Welch, Peter H. and Bakkers, A.W.P., eds. Architectures, Languages and Patterns for Parallel and Distributed Applications. Concurrent Systems Engineering Series, 52. IOS Press, Amsterdam pp. 259-284. ISBN 90-5199-391-9. (Full text available)
[img]
Preview

1997

Welch, Peter H. and Wood, David C. (1997) Higher Levels of Process Synchronisation. In: Bakkers, A.W.P., ed. Parallel Programming and Java, Proceedings of WoTUG 20. Concurrent Systems Engineering, 50. IOS Press, Netherlands, University of Twente, Netherlands pp. 104-129. ISBN 90-5199-336-6. (Full text available)
[img]
Preview

Welch, Peter H. (1997) Java Threads in Light of occam/CSP (Tutorial). In: Bakkers, A.W.P., ed. Parallel Programming and Java, Proceedings of WoTUG 20. Concurrent Systems Engineering, 50. IOS Press, Netherlands, University of Twente, Netherlands (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. and Poole, Michael D. (1997) occam for multi-processor DEC alphas. In: Bakkers, A.W.P., ed. Parallel Programming and Java. Concurrent Systems Engineering Series, 50 . I O S Press, Amsterdam, pp. 152-174. ISBN 90-5199-336-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. and Wood, David C. (1997) Higher levels of process synchronisation. In: Bakkers, A.W.P., ed. Parallel Programming and Java. Concurrent Systems Engineering Series, 50 . I O S Press, pp. 104-129. ISBN 90-5199-336-6. (Full text available)
[img]
Preview

Welch, Peter H. (1997) Java threads in the light of occam/CSP. In: Bakkers, A.W.P., ed. Parallel Programming and Java. Concurrent Systems Engineering Series, 50 . I O S Press, Amsterdam, p. 282. ISBN 90-5199-336-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

1993

Bakkers, A.W.P. and Bruis, R. and Roebbers, Herman W. and Schaller, Nan C. and Schwirtz, M.H. and Sunder, J.P.E. and Wijbrans, K.C.J. and Welch, Peter H. (1993) Training for Transputer Technologies. In: Parallel Processing in Education. Hungarian Academic of Sciences (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

1991

Willcock, C.J. and Welch, Peter H. (1991) A Parallel X-Windows Server (a Case Study on occam and Programming-in-the-Large). In: Welch, Peter H. and Stiles, D. and Kunii, T.L. and Bakkers, A.W.P., eds. TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference. IOS Press, Netherlands, Sunnyvale, California, USA pp. 406-430. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Welch, Peter H. (1991) TRANSPUTING ''91, Proceedings of the 1st World Transputer User Group Conference. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Wed May 15 04:28:59 2019 BST.