{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:47:43Z","timestamp":1725634063507},"publisher-location":"London","reference-count":24,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540760689"},{"type":"electronic","value":"9781447115045"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/978-1-4471-1504-5_5","type":"book-chapter","created":{"date-parts":[[2011,11,16]],"date-time":"2011-11-16T12:31:03Z","timestamp":1321446663000},"page":"53-69","source":"Crossref","is-referenced-by-count":3,"title":["A Strict occam Design Tool"],"prefix":"10.1007","author":[{"given":"Dave","family":"Beckett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Welch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985."},{"key":"5_CR2","volume-title":"occam2 Reference Manual","author":"INMOS Ltd","year":"1988","unstructured":"INMOS Ltd. occam2 Reference Manual. Prentice Hall, 1988."},{"key":"5_CR3","unstructured":"SGS-Thomson Microelectronics Ltd. occam2.1 reference manual. SGS-Thomson Microelectronics Ltd., \/URL:http:\/\/www.hensa.ac.uk\/ parallel\/ occam\/documents\/;, 1995."},{"key":"5_CR4","first-page":"40","volume-title":"Proceedings of WoTUG-17: Progress in Transputer and occam Research, volume 38 of Transputer and occam Engineering","author":"M Debbage","year":"1994","unstructured":"M. Debbage, M. Hill, S. Wykes, and D. Nicole. Southampton\u2019s portable occam compiler (SPOC). In Roger Miles and Alan Chalmers, editors, Proceedings of WoTUG-17: Progress in Transputer and occam Research, volume 38 of Transputer and occam Engineering, pages 40\u201355, IOS Press, Amsterdam, April 1994."},{"key":"5_CR5","unstructured":"P.H. Welch and D.C. Wood. KRoC - the Kent Retargetable occam Compiler. In B. O\u2019Neill, editor, Proceedings of WoTUG 19, IOS Press, Amsterdam, March 1996. \/URL:http:\/\/www.hensa.ac.uk\/parallel\/ occam\/ proj ects\/occam-for-all\/kroc\/."},{"key":"5_CR6","unstructured":"M.D. Poole, occam for all: Two approaches to retargeting the INMOS occam compiler. In B. O\u2019Neill, editor, Proceedings of WoTUG 19, IOS Press, Amsterdam, March 1996. ISBN 90 5199 261 0."},{"key":"5_CR7","volume-title":"Proceedings of UKPAR96","author":"KJ Vella","year":"1996","unstructured":"K.J. Vella. CSP\/occam on networks of workstations. In A. Shafarenko et al., editors, Proceedings of UKPAR96. Springer-Verlag, July 1996."},{"issue":"5","key":"5_CR8","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1002\/spe.4380240504","volume":"24","author":"PB Hansen","year":"1994","unstructured":"P. Brinch Hansen. The programming language superpascal. Software Practice and Experience, 24(5):467\u2013483, May 1994.","journal-title":"Software Practice and Experience"},{"key":"5_CR9","unstructured":"PACT, Foulkeslaan 87, 2625 RB Delft, The Netherlands. The PACT Parallel C Reference Manual, February 1992."},{"key":"5_CR10","unstructured":"Computer System Architects, 100 Library Plaza, 15 North 100 East, Provo, UT 84606\u20133100, USA. Logical Systems C for the Transputer: Version 89.1 Manual Set."},{"key":"5_CR11","unstructured":"INMOS. ANSI C Manual Set D0314-DOCA."},{"key":"5_CR12","unstructured":"MPI Forum. MPI: A message-passing interface. Technical Report CS\/E 94-013, Department of Computer Science, Oregon Graduate Institute, March 94."},{"key":"5_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5695-3","volume-title":"A Class of Simple Communication Patterns, Selected Writings on Computing: A Personal Perspective","author":"EW Dijkstra","year":"1982","unstructured":"E.W. Dijkstra. A Class of Simple Communication Patterns, Selected Writings on Computing: A Personal Perspective. Springer-Verlag, 1982."},{"key":"5_CR14","volume-title":"Operating System Principles","author":"PB Hansen","year":"1973","unstructured":"P. Brinch Hansen. Operating System Principles. Prentice-Hall, 1973."},{"key":"5_CR15","volume-title":"The pursuit of deadlock freedom","author":"AW Roscoe","year":"1986","unstructured":"A.W. Roscoe and N. Dathi.The pursuit of deadlock freedom. Technical Monograph PRG-57, Oxford University Computing Laboratory, 1986."},{"key":"5_CR16","first-page":"981","volume-title":"Transputer Applications and Systems \u201993","author":"PH Welch","year":"1993","unstructured":"P.H. Welch, G.R,R. Justo, and C. Willcock. High-level paradigms for deadlock-free high-performance systems. In Grebe et al., editors, Transputer Applications and Systems \u201993, pages 981\u20131004, IOS Press, Amsterdam, 1993"},{"issue":"3","key":"5_CR17","first-page":"121","volume":"2","author":"J Martin","year":"1994","unstructured":"J. Martin, I. East, and S. Jassim. Design rules for deadlock freedom. Transputer Communications, 2(3): 121\u2013133, John Wiley & Sons Ltd, September 1994.","journal-title":"Transputer Communications"},{"key":"5_CR18","unstructured":"J.M.R. Martin and P.H. Welch. A design strategy for deadlock-free concurrent systems. Transputer Communications. John Wiley & Sons Ltd, (submitted September 1995)."},{"key":"5_CR19","unstructured":"G. Jones. Carefully scheduled selection with ALT. occam User Group (OUG) Newsletter, 10, 1989."},{"issue":"2","key":"5_CR20","first-page":"65","volume":"1","author":"MH Goldsmith","year":"1993","unstructured":"M.H. Goldsmith, A.W. Roscoe, and B.G.O. Scott. Denotational semantics for occam2 (part 1). Transputer Communications, 1(2):65\u201391, John Wiley & Sons Ltd, November 1993.","journal-title":"Transputer Communications"},{"issue":"l","key":"5_CR21","first-page":"25","volume":"2","author":"MH Goldsmith","year":"1994","unstructured":"M.H. Goldsmith, A.W. Roscoe, and B.G.O. Scott. Denotational semantics for occam2 (part 2). Transputer Communications, 2(l):25\u201367, John Wiley & Sons Ltd, March 1994.","journal-title":"Transputer Communications"},{"key":"5_CR22","unstructured":"P.H. Welch. Parallel hardware and parallel software: a reconciliation. In Proceedings of the ZEUS\u201995 and NTUG\u201995 Conference, Linkoping, Sweden, pages 287\u2013301, IOS Press, Amsterdam, May 1995. ISBN 90\u20135199-22\u20137."},{"key":"5_CR23","unstructured":"B. Cook and R. Peel. The para-pc, an analysis. In B. O\u2019Neill, editor, Proceedings of WoTUG 19, pages 89\u2013102, IOS Press, Amsterdam, March 1996. ISBN 90 5199 261 0."},{"key":"5_CR24","volume-title":"Tcl and the Tk Toolkit","author":"JK Outsterhout","year":"1994","unstructured":"J. K. Outsterhout. Tcl and the Tk Toolkit. Addison-Wesley, 1994."}],"container-title":["UK Parallel \u201996"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-1504-5_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T00:22:48Z","timestamp":1619828568000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-1504-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540760689","9781447115045"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-1504-5_5","relation":{},"subject":[],"published":{"date-parts":[[1996]]}}}