{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:03Z","timestamp":1725663003338},"publisher-location":"Berlin, Heidelberg","reference-count":67,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540182030"},{"type":"electronic","value":"9783540478065"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18203-9_1","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:30:10Z","timestamp":1330180210000},"page":"1-34","source":"Crossref","is-referenced-by-count":2,"title":["Parallelism issues in multi \u2014 Style computers"],"prefix":"10.1007","author":[{"given":"F.","family":"Baiardi","sequence":"first","affiliation":[]},{"given":"M.","family":"Vanneschi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"1_CR1","first-page":"1087","volume":"79","author":"W. B. Ackerman","year":"1979","unstructured":"W. B. Ackerman, \"Data Flow Languages\". In Proc. of AFIPS, NCC 79, pp. 1087\u20131095, 1979.","journal-title":"Proc. of AFIPS, NCC"},{"key":"1_CR2","unstructured":"DOD, \"Reference Manual for the Ada Programming Language\". ANSI MIL-STD 1815A, 1983"},{"issue":"4","key":"1_CR3","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1145\/357146.357149","volume":"3","author":"G. R. Andrews","year":"1981","unstructured":"G.R. Andrews, \"Synchronizing Resources\". ACM TOPLAS, vol. 3, N. 4, PP. 405\u2013430, October 1981.","journal-title":"ACM TOPLAS"},{"issue":"1","key":"1_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/356901.356903","volume":"15","author":"G. R. Andrews","year":"1983","unstructured":"G.R. Andrews and F.B. Schneider, \"Concepts and Notations of Concurrent Programming\". ACM Computing Surveys, vol. 15, n. 1, pp. 3\u201343, March 1983.","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"1_CR5","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1145\/357103.357110","volume":"2","author":"K. R. Apt","year":"1980","unstructured":"K.R. Apt, N. Francez and W.P. de Roever, \"A Proof System for Communicating Sequential Processes\". ACM TOPLAS, vol. 2, n. 3, pp. 359\u2013385, July 1980.","journal-title":"ACM TOPLAS"},{"key":"1_CR6","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0167-6423(83)90004-7","volume":"3","author":"K. R. Apt","year":"1983","unstructured":"K.R. Apt and E-R. Olderog, \"Proof Rules and Transformations for Dealing with Fairness\", Science of Computer Programming, vol. 3, pp. 65\u2013100, 1983.","journal-title":"Science of Computer Programming"},{"issue":"20","key":"1_CR7","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1145\/359636.359715","volume":"7","author":"E. A. Ashcroft","year":"1977","unstructured":"E.A. Ashcroft and W.W. Wadge\" \"Lucid, a Nonprocedural Language with Iteration\". CACM, vol. 7, n. 20, pp. 519\u2013526, July 1977.","journal-title":"CACM"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"E. Astesiano and E. Zucca: \"Semantics of CSP Via Translation into CCS\", CNET Report n. 22, Institute of Math., Univ. of Genova., 1981.","DOI":"10.1007\/3-540-10856-4_83"},{"key":"1_CR9","unstructured":"G. Attardi, Lecture Notes for the ESPRIT Summer School on Future Parallel Computers, Pisa, June 1986"},{"key":"1_CR10","unstructured":"F. Baiardi, A. Fantechi, M. Vanneschi, \"Language Constructs for a Robust Distributed Environment\", Int. Rep., Dept. of Comp. Science S-81-9, Univ. of Pisa, May 1981."},{"key":"1_CR11","unstructured":"F. Baiardi, A. Fantechi, A. Tomasi, M. Vanneschi, \"Mechanisms for a Robust Multiprocessing Environment in the MuTEAM Kernel\", Proc. of 11th Fault Tolerant Computing Symp, Portland (USA), June 1981, pp. 20\u201324."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"F. Baiardi, L. Ricci, M. Vanneschi, \"Static Checking of Interprocess Communication in ECSP\", ACM SIGPLAN Symposium on Compiler Construction, Montreal, June 1984.","DOI":"10.1145\/502874.502903"},{"key":"1_CR13","unstructured":"F. Baiardi, A. Fantechi, A. Tomasi, M. Vanneschi, \"Distributed Implementation of Nested Communicating Processes and Termination\", 13th Int. Conf. on Parallel Processing, Aug. 1984."},{"key":"1_CR14","unstructured":"F. Baiardi, L. Ricci, A. Tomasi, M. Vanneschi, \"Structuring processes for a cooperative approach to fault-tolerant distributed software\". Proc. of 4th Symp. on Reliability in Distributed Software and Database Systems, Oct. 1984."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"F. Baiardi, N. De Francesco, G. Vaglini, \"Development of a Debugger for a Concurrent Language\". IEEE Trans. on Software Eng., April 1986.","DOI":"10.1109\/TSE.1986.6312902"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"A. J. Bernstein, \"Output Guards and Nondeterminism in Communicating Sequential Processes\", ACM TOPLAS, vol. n. 2, pp. 234\u2013238, April 1980.","DOI":"10.1145\/357094.357101"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"D. Bj\u00f8rner and C. B. Jones (eds.), \"The Vienna Development Method: The Meta-Language\". Lecture Notes in Comp. Sc., 61, Springer-Verlag 1979.","DOI":"10.1007\/3-540-08766-4"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"W. Brauer (ed.), \"Net Theory and Applications\". Lecture Notes in Comp. SC., 84, Springer-Verlag, 1980.","DOI":"10.1007\/3-540-100016"},{"issue":"3","key":"1_CR19","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. D. Brookes","year":"1984","unstructured":"S.D. Brookes, C.A.R. Hoare and A.W. Roscoe, \"A Theory of Communicating Sequential Processes\". JACM, vol. 31, n. 3, pp. 560\u2013599, July 1984.","journal-title":"JACM"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"M. Broy, \"A Fixed Point Approach to Applicative Multiprogramming\". In M. Broy and G. Schmidt (eds.): Theoretical Foundations of Programming Methodology, pp. 565\u2013623, D. Reidel, 1982.","DOI":"10.1007\/978-94-009-7893-5_16"},{"key":"1_CR21","unstructured":"M. Broy, \"Fixed Point Theory for Communication and Concurrency\". In D. Bj\u00f8rner (ed.): IFIP TC2 Working Conference on Formal Description of Programming Concepts, Garmisch, June 1982, pp. 125\u2013147, North-Holland 1983."},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"M. Broy, \"Extensional Behaviour of Concurrent, Nondeterministic Communicating Systems\". NATO ASI Series, vol. F14, Control Flow and Data-Flow: Concepts of Distributed Programming (M. Broy ed.), Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-82921-5_6"},{"key":"1_CR23","unstructured":"R.E. Bryant, J.B. Dennis, \"Concurrent Programming\", MIT Report, Cambridge, Mass., 1978."},{"key":"1_CR24","unstructured":"G. Candido, R. Di Giovanni, \"Communicating processes with data-flow behaviour\". Graduation Thesis, Dept. of Comp. Sciences, Univ. of Pisa, 1984 (in Italian)."},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"K. Clark, S. Gregory, \"Parlog: Parallel Programming in Logic\". Res. Rep. DOC\/84, Imperial College, London.","DOI":"10.1007\/978-1-4613-1989-4_6"},{"issue":"4","key":"1_CR26","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1145\/356678.356680","volume":"8","author":"P. J. Denning","year":"1976","unstructured":"P. J. Denning, \"Fault tolerant operating system\", ACM Computing Surveys, vol. 8, n. 4, dicembre 1976, pp. 359\u2013389.","journal-title":"ACM Computing Surveys"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":",J.B. Dennis, \"Data-flow computation\". Nato ASI Series, vol. F14, Control Flow and Data Flow: Concepts of Distributed Programming (M. Broy ed.), Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-82921-5_8"},{"issue":"8","key":"1_CR28","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E. W. Dijkstra","year":"1975","unstructured":"E.W. Dijkstra, \"Guarded Commands, Nondeterminacy, and Formal Derivations of Programs\". CACM, vol. 18, n. 8, pp. 453\u2013457, Aug. 1975.","journal-title":"CACM"},{"issue":"6","key":"1_CR29","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1145\/359114.359127","volume":"22","author":"J. A. Feldmann","year":"1979","unstructured":"J.A. Feldmann, \"High Level Programming Language for Distributed Computing\", CACM, vol.22, n.6, June 1979, pp. 353\u2013368.","journal-title":"CACM"},{"key":"1_CR30","unstructured":"R.E. Filman and D.P. Friedman, \"Coordinated Computing \u2014 Tools and Techniques for Distributed Software\", McGraw-Hill 1984."},{"key":"1_CR31","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1016\/0022-0000(79)90006-0","volume":"19","author":"N. Francez","year":"1979","unstructured":"N. Francez, C.A.R. Hoare, D. J. Lehmann, and W.P. de Roever, \"Semantics of Nondeterminism, Concurrency, and Communication\", Jorurnal of Computer and System Sciences, vol. 19, 1979, pp.290\u2013308.","journal-title":"Jorurnal of Computer and System Sciences"},{"issue":"11","key":"1_CR32","doi-asserted-by":"crossref","first-page":"934","DOI":"10.1145\/359642.359651","volume":"21","author":"P. Brinch Hansen","year":"1978","unstructured":"P. Brinch Hansen, \"Distributed Processes: A Concurrent Programming Concept\". CACM, vol. 21, n. 11, pp. 934\u2013941, Nov. 1978.","journal-title":"CACM"},{"issue":"26","key":"1_CR33","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0304-3975(83)90081-6","volume":"1","author":"E. C. R. R. Hehner","year":"1983","unstructured":"E.C.R. Hehner and C.A.R. Hoare, \"A more Complete Model of Communicating Processes\".Theor. Computer Science, 26 vol. 1, pp. 105\u2013120, 1983.","journal-title":"Theor. Computer Science"},{"key":"1_CR34","unstructured":"Peter Henderson, \"Functional Programming \u2014 Application and Implementation\". Prentice Hall 1980."},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Peter Henderson, \"Purely Functional Operating Systems\". In J. Darlington, P. Henderson and D.A. Turner (eds.): Functional Programming and its Applications, pp. 177\u2013192, Cambridge Univ. Press 1982.","DOI":"10.1145\/800068.802148"},{"issue":"8","key":"1_CR36","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"C.A.R. Hoare, \"Communicating Sequential Processes\". CACM, vol. 21, n. 8, pp. 666\u2013677, Aug. 1978.","journal-title":"CACM"},{"key":"1_CR37","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0167-6423(81)90005-8","volume":"1","author":"C. A. R. R. Hoare","year":"1981","unstructured":"C.A.R. Hoare, \"A Calculus for Total Correctness for Communicating Processes\". Science of Computer Programming, vol. 1, pp. 49\u201372, 1981.","journal-title":"Science of Computer Programming"},{"key":"1_CR38","unstructured":"Inmos Ldt., \"Occam Reference Manual\". Prentice Hall, Series in Computer Science 1984."},{"key":"1_CR39","first-page":"471","volume":"74","author":"G. Kahn","year":"1974","unstructured":"G. Kahn, \"The Semantics of a Simple Language for Parallel Programming\". In Proc. of IFIP 74, pp. 471\u2013475, North Holland 1974.","journal-title":"Proc. of IFIP"},{"key":"1_CR40","first-page":"993","volume":"77","author":"G. Kahn","year":"1977","unstructured":"G. Kahn and D.B. MacQueen, \"Coroutines of Network of Parallel Processes\". In Proc. of IFIP 77, pp. 993\u2013998, North Holland 1977.","journal-title":"Proc. of IFIP"},{"key":"1_CR41","unstructured":"R.Karia, Lecture Notes for ESPRIT Summer School on Future Parallel Computers, Pisa, June 1986."},{"issue":"7","key":"1_CR42","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport, \"Time, Clocks, and the Ordering of Events in a Distributed Systems\". CACM, vol. 21, n. 7, pp. 558\u2013565, July 1978.","journal-title":"CACM"},{"key":"1_CR43","first-page":"657","volume":"83","author":"L. Lamport","year":"1983","unstructured":"L. Lamport, \"What Good is Temporal Logic\". In Proc. of IFIP 83, pp. 657\u2013668, 1983.","journal-title":"Proc. of IFIP"},{"key":"1_CR44","doi-asserted-by":"crossref","unstructured":"L. Lamport. \"Using Time instead of Timeout for Fault-Tolerant Distributed Systems\". ACM TOPLAS, vol. 6, n.2, April 1984","DOI":"10.1145\/2993.2994"},{"issue":"2","key":"1_CR45","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/850657.850658","volume":"13","author":"H. C. Lauer","year":"1979","unstructured":"H.C. Lauer and R.M. Needham, \"On the Duality of Operating System Structures\". Operating System Review, vol. 13, n. 2, pp. 3\u201319, April 1979.","journal-title":"Operating System Review"},{"issue":"3","key":"1_CR46","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1145\/2166.357215","volume":"5","author":"B. Liskov","year":"1983","unstructured":"B. Liskov and R. Scheifler, \"Guardians and Actions: Linguistic Support for Robust, Distributed Programs\". ACM TOPLAS, vol. 5, n. 3, pp. 381\u2013404, July 1983.","journal-title":"ACM TOPLAS"},{"key":"1_CR47","unstructured":"L. Locuratolo, \"Implementation of concurrent logic languages\". Graduation Thesis, Dept. of Comp. Sciences, Univ. of Pisa, 1986 (in Italian)."},{"key":"1_CR48","unstructured":"H.H. Lovengreen, \"On concurrency formalization\". Ph. D. Thesis, Dept. of Computer Science, Technical University of Denmark, 1985."},{"issue":"1","key":"1_CR49","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/357153.357157","volume":"4","author":"J. R. McGraw","year":"1982","unstructured":"J.R. McGraw, \"The VAL Language: Description and Analysis\". ACM TOPLAS, vol. 4, n. 1, pp. 44\u201382, January 1982.","journal-title":"ACM TOPLAS"},{"key":"1_CR50","doi-asserted-by":"crossref","unstructured":"Robin Milner, \"A Calculus of Communicating Systems\". Lecture Notes in Computer Science, 92, Springer-Verlag 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"1_CR51","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"M. Nielsen, G. Plotkin, and G. Winskel, \"Petri Nets, Event Structures and Domains, Part I\". Theoretical Computer Science, vol. 13, pp. 85\u2013108, 1981.","journal-title":"Theoretical Computer Science"},{"key":"1_CR52","series-title":"Tech. Mon.","volume-title":"Specification Oriented Semantics for Communicating Processes","author":"E. R. Olderog","year":"1984","unstructured":"E. R. Olderog and C.A.R. Hoare, \"Specification Oriented Semantics for Communicating Processes\". Tech. Mon. PRG-37, Oxford Univ., Programming Res. Group, Oxford, 1984."},{"key":"1_CR53","unstructured":"R.Patterson, Lecture Notes for ESPRIT Summer School on Future Parallel Computers, Pisa, June 1986."},{"issue":"13","key":"1_CR54","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"J. L. Peterson","year":"1977","unstructured":"J.L. Peterson, \"Petri Nets', ACM Computing Surveys, vol. 9, n. 13, pp. 223\u2013252, September 1977.","journal-title":"ACM Computing Surveys"},{"key":"1_CR55","unstructured":"J. L. Peterson, \"Petri Nets Theory and The Modeling of Systems\". Prentice-Hall, 1981."},{"key":"1_CR56","unstructured":"G.D. Plotkin, \"A Structural Approach to Operational Semantics\". Lecture notes. Aarhus University 1981."},{"key":"1_CR57","doi-asserted-by":"crossref","unstructured":"A. Pnueli, \"The Temporal Logic of Programs\". In Proc. of the 19th FOCS, pp. 46\u201357, IEEE, October 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"1_CR58","unstructured":"J. Rattner, \"Concurrent processing: a new direction in scientific computing\". AFIPS 85, NCC, 1985."},{"key":"1_CR59","doi-asserted-by":"crossref","unstructured":"N. Rescher, A. Urquhart, \"Temporal Logic\", Springer-Verlag, 1971.","DOI":"10.1007\/978-3-7091-7664-1"},{"key":"1_CR60","doi-asserted-by":"crossref","unstructured":"C.L. Seitz, \"Concurrent VLSI architectures\". IEEE Trans. on Comp., Vol. C-33, n. 12, Dec. 1984.","DOI":"10.1109\/TC.1984.1676396"},{"key":"1_CR61","unstructured":"E. Shapiro, \"A subset of Concurrent Prolog and its Interpreter\". ICOT Techn. Report TR-003, Febr. 1983."},{"key":"1_CR62","unstructured":"E. Shapiro, \"Systolic programming: a paradigm of parallel processing\". Proc. of Int. Conf. on Fifth Generation Computer Systems, ICOT, 1984."},{"key":"1_CR63","doi-asserted-by":"crossref","unstructured":"R.E. Strom, S. Yemini, \"NIL: An Integrated Language and System for Distributed Programming\". ACM SIGPLAN Notices, vol.18, n. 6, June 1983.","DOI":"10.1145\/872728.806853"},{"key":"1_CR64","doi-asserted-by":"crossref","unstructured":"P.C. Treleaven, D.R. Brownbridge and R.P. Hopkins, \"Data Driven and Demand Driven Computer Architecture\". ACM Computing Surveys, vol. 14, n.1,March 1982.","DOI":"10.1145\/356869.356873"},{"key":"1_CR65","unstructured":"P.C. Treleaven, J. E. Lima, \"Future computers: Logic, Data Flow,..., Control Flow\". 10th Int. Symp. on Computer Arch., 1983."},{"key":"1_CR66","unstructured":"K.Uchida, Lecture Notes for ESPRIT Summer School on Future Parallel Computers, Pisa, June 1986."},{"key":"1_CR67","doi-asserted-by":"crossref","unstructured":"S.R. Vegdahl, \"A Survey of Proposed Architectures for the Execution of Functional Languages\". IEEE Trans on Comp., vol. C-33, n. 12, December 1984.","DOI":"10.1109\/TC.1984.1676387"}],"container-title":["Lecture Notes in Computer Science","Future Parallel Computers"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18203-9_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:14:29Z","timestamp":1605626069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18203-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540182030","9783540478065"],"references-count":67,"URL":"https:\/\/doi.org\/10.1007\/3-540-18203-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}