{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:39:11Z","timestamp":1725471551000},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662280"},{"type":"electronic","value":"9783540485162"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10703040_24","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T18:35:59Z","timestamp":1160418959000},"page":"301-330","source":"Crossref","is-referenced-by-count":1,"title":["Parallel and Distributed Computing in Education (Invited Talk)"],"prefix":"10.1007","author":[{"given":"Peter H.","family":"Welch","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"8","key":"24_CR1","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A. Hoare","year":"1978","unstructured":"Hoare, C.A.: Communication Sequential Processes. CACM\u00a021(8), 666\u2013677 (1978)","journal-title":"CACM"},{"key":"24_CR2","volume-title":"Communication Sequential Processes","author":"C.A. Hoare","year":"1985","unstructured":"Hoare, C.A.: Communication Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"24_CR3","unstructured":"Oxford University Computer Laboratory. The CSP Archive (1997), http:\/\/www.comlab.ox.ac.uk\/archive\/csp.html"},{"key":"24_CR4","volume-title":"Proceedings of WoTUG 19","author":"P.H. Welch","year":"1996","unstructured":"Welch, P.H., Wood, D.C.: KRoC - the Kent Retargetable occam Compiler. In: O\u2019Neill, B. (ed.) Proceedings of WoTUG 19, IOS Press, Amsterdam (1996), http:\/\/www.hensa.ac.uk\/parallel\/occam\/projects\/occamfor-all\/kroc\/"},{"key":"24_CR5","series-title":"Concurrent Systems Engineering","first-page":"189","volume-title":"Parallel Programming and Java, Proceedings of WoTUG 20","author":"P.H. Welch","year":"1997","unstructured":"Welch, P.H., Poole, M.D.: OCCAM for Multi-Processor DEC Alphas. In: Bakkers, A. (ed.) Parallel Programming and Java, Proceedings of WoTUG 20. World occam and Transputer User Group (WoTUG), Amsterdam, Netherlands, April 1997. Concurrent Systems Engineering, vol.\u00a050, pp. 189\u2013198. IOS Press, Amsterdam (1997)"},{"key":"24_CR6","unstructured":"Welch, P., et al.: Java Threads Workshop - Post Workshop Discussion (February 1997), http:\/\/www.hensa.ac.uk\/parallel\/groups\/wotug\/java\/discussion\/"},{"key":"24_CR7","unstructured":"Hilderink, G., Broenink, J., Vervoort, W., Bakkers, A.: Communicating Java Threads. In: Parallel Programming and Java, Proceedings of WoTUG 20, pp. 48\u201376 (1997) (See reference [5])"},{"key":"24_CR8","unstructured":"Hilderink, G.H.: Communicating Java Threads Reference Manual. In: Parallel Programming and Java, Proceedings of WoTUG 20, pp. 283\u2013325 (1997) (See reference [5])"},{"key":"24_CR9","series-title":"Concurrent Systems Engineering","first-page":"259","volume-title":"Architectures, Languages and Patterns, Proceedings of WoTUG 21","author":"P. Welch","year":"1998","unstructured":"Welch, P.: Java Threads in the Light of occam\/CSP. In: Welch, P.H., Bakkers, A. (eds.) Architectures, Languages and Patterns, Proceedings of WoTUG 21. World occam and Transputer User Group (WoTUG), Amsterdam, Netherlands. Concurrent Systems Engineering, vol.\u00a052, pp. 259\u2013284. IOS Press, Amsterdam (1998) ISBN 90-5199-391-9"},{"key":"24_CR10","unstructured":"Chalmers, A.: JavaPP Page - Bristol (May 1998), http:\/\/www.cs.bris.ac.uk\/~alan\/javapp.html\/"},{"key":"24_CR11","unstructured":"Austin, P.D.: JCSP Home Page (May 1998), http:\/\/www.hensa.ac.uk\/parallel\/languages\/java\/jcsp\/"},{"key":"24_CR12","unstructured":"Hilderink, G.: JavaPP Page - Twente (May 1998), http:\/\/www.rt.el.utwente.nl\/javapp\/"},{"key":"24_CR13","volume-title":"Parallel Processing with Communication Process Architecture","author":"I. East","year":"1995","unstructured":"East, I.: Parallel Processing with Communication Process Architecture. UCL press, London (1995) ISBN 1-85728-239-6"},{"key":"24_CR14","volume-title":"occam 2 - including occam 2.1","author":"J. Galletly","year":"1996","unstructured":"Galletly, J.: occam 2 - including occam 2.1. UCL Press, London (1996) ISBN 1-85728- 362-7"},{"key":"24_CR15","unstructured":"occam-for-all Team. occam-for-all Home Page (February 1997), http:\/\/www.hensa.ac.uk\/parallel\/occam\/occam-for-all\/"},{"key":"24_CR16","first-page":"40","volume-title":"Progress in Transputer and occam Research, Proceedings of WoTUG 17, Concurrent Systems Engineering","author":"M. Debbage","year":"1994","unstructured":"Debbage, M., Hill, M., Wykes, S., Nicole, D.: Southampton\u2019s Portable occam Compiler (SPoC). In: Miles, R., Chalmers, A. (eds.) Progress in Transputer and occam Research, Proceedings of WoTUG 17, Concurrent Systems Engineering. World occam and Transputer User Group (WoTUG), IOS Press, Amsterdam, Netherlands, April 1994 (1994), http:\/\/www.hensa.ac.uk\/parallel\/occam\/compilers\/spoc\/"},{"key":"24_CR17","unstructured":"Martin, J.M.R., Jassim, S.A.: How to Design Deadlock-Free Networks Using CSP and Verification Tools - a Tutorial Introduction. In: Parallel Programming and Java, Proceedings of WoTUG 20, pp. 326\u2013338 (1997) (See reference [5])"},{"key":"24_CR18","unstructured":"Roscoe, A.W., Dathi, N.: The Pursuit of Deadlock Freedom. Technical Report Technical Monograph PRG-57, Oxford University Computing Laboratory (1986)"},{"issue":"3","key":"24_CR19","first-page":"121","volume":"2","author":"J. Martin","year":"1994","unstructured":"Martin, J., East, I., Jassim, S.: Design Rules for Deadlock Freedom. Transputer Communications\u00a02(3), 121\u2013133 (1994) ISSD N 1070-454 X","journal-title":"Transputer Communications"},{"key":"24_CR20","first-page":"981","volume-title":"Transputer Applications and Systems 1993","author":"P.H. Welch","year":"1993","unstructured":"Welch, P.H., Justo, G.R.R., Willcock, C.: High-Level Paradigms for Deadlock- Free High-Performance Systems. In: Grebe, et al. (eds.) Transputer Applications and Systems 1993, pp. 981\u20131004. IOS Press, Amsterdam (1993) ISBN 90-5199- 140-1"},{"issue":"4","key":"24_CR21","first-page":"215","volume":"3","author":"J.M.R. Martin","year":"1996","unstructured":"Martin, J.M.R., Welch, P.H.: A Design Strategy for Deadlock-Free Concurrent Systems. Transputer Communications\u00a03(4), 215\u2013232 (1996) ISSN 1070-454X","journal-title":"Transputer Communications"},{"key":"24_CR22","volume-title":"Model Checking CSP, A Classical Mind","author":"A.W. Roscoe","year":"1994","unstructured":"Roscoe, A.W.: Model Checking CSP, A Classical Mind. Prentice Hall, Englewood Cliffs (1994)"},{"key":"24_CR23","unstructured":"Martin, J.M.R., Jassim, S.A.: A Tool for Proving Deadlock Freedom. In Par- allel Programming and Java. In: Proceedings of WoTUG 20, pp. 1\u201316 (1997) (See reference [5])"},{"key":"24_CR24","doi-asserted-by":"crossref","unstructured":"Beckett, D.J., Welch, P.H.: A Strict occam Design Tool. In: Proceedings of UK Parallel 1996, London, pp. 53\u201369. BCS PPSIG. Springer, Heidelberg (1996) ISBN 3-540-76068-7","DOI":"10.1007\/978-1-4471-1504-5_5"},{"key":"24_CR25","unstructured":"Aubury, M., Page, I., Plunkett, D., Sauer, M., Saul, J.: Advanced Silicon Prototyping in a Reconfigurable Environment. In: Architectures, Languages and Patterns, Proceedings of WoTUG 21, pp. 81\u201392 (1998) (see reference [9])"},{"key":"24_CR26","unstructured":"Lawrence, A.E.: Extending CSP. In: Architectures, Languages and Patterns, Pro- ceedings of WoTUG 21, pp. 111\u2013132 (1998) (See reference [9])"},{"key":"24_CR27","unstructured":"Lawrence, A.E.: HCSP: Extending CSP for Co-design and Shared Memory. In: Architectures, Languages and Patterns, Proceedings of WoTUG 21, pp. 133\u2013156 (1998) (See reference [9])"},{"key":"24_CR28","unstructured":"Barrett, G.: OCCAM3 reference manual (draft) (March 1992), http:\/\/www.hensa.ac.uk\/parallel\/occam\/documents\/ (unpublished in paper)"},{"key":"24_CR29","unstructured":"Welch, P.H., Wood, D.C.: Higher Levels of Process Synchronisation. In: Parallel Programming and Java, Proceedings of WoTUG 20, pp. 104\u2013129 (1997) (See reference [5])"},{"key":"24_CR30","unstructured":"May, D., Muller, H.L.: Icarus language definition. Technical Report CSTR-97-007, Department of Computer Science, University of Bristol (January 1997)"},{"key":"24_CR31","doi-asserted-by":"crossref","unstructured":"Muller, H.L., May, D.: A simple protocol to communicate channels over channels. Technical Report CSTR-98-001, Department of Computer Science, University of Bristol (January 1998)","DOI":"10.1007\/BFb0057905"},{"key":"24_CR32","unstructured":"Beckett, D.J.: Java Resources Page (May 1998), http:\/\/www.hensa.ac.uk\/parallel\/languages\/java\/"},{"key":"24_CR33","series-title":"Con- current Systems Engineering","first-page":"634","volume-title":"Transputer Applications and Systems 1994","author":"K.H. Lu","year":"1994","unstructured":"Lu, K.H., Jones, J., Kerridge, J.: Modelling Congested Road Traffic Networks Using a Highly Parallel System. In: DeGloria, A., Jane, M.R., Marini, D. (eds.) Transputer Applications and Systems 1994, Con- current Systems Engineering, vol.\u00a042, pp. 634\u2013647. IOS Press, Amsterdam (1994)"},{"key":"24_CR34","unstructured":"Muller, H., Walrath, K.: Threads and swing (April 1998), http:\/\/java.sun.com\/products\/jfc\/swingdoc-archive\/threads.html"}],"container-title":["Lecture Notes in Computer Science","Vector and Parallel Processing \u2013 VECPAR\u201998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10703040_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T15:19:43Z","timestamp":1555859983000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10703040_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662280","9783540485162"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/10703040_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}