{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T19:57:24Z","timestamp":1773086244883,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540226673","type":"print"},{"value":"9783540278603","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27860-3_14","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T17:38:30Z","timestamp":1284572310000},"page":"132-145","source":"Crossref","is-referenced-by-count":9,"title":["dSL: An Environment with Automatic Code Distribution for Industrial Control Systems"],"prefix":"10.1007","author":[{"given":"Bram","family":"De Wachter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Massart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9dric","family":"Meuter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Aubry, P.: Mises en oeuvre distribues de programmes synchrones (th\u00e8se). Phd thesis, IFSIC, Rennes, France (October 1997)"},{"key":"14_CR2","unstructured":"Algorithms and min-max theorems for certain multiway cuts. In: Balas, E., Cornu\u00e9jols, G., Kannan, R. (eds.) Proc. of the 2nd Integer Programming and Combinatorial Optimization Conference, Carnegie Mellon University, May 1992, pp. 334\u2013345 (1992)"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proceedings of the IEEE\u00a079, 1270\u20131282 (1991)","journal-title":"Proceedings of the IEEE"},{"issue":"2","key":"14_CR4","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming\u00a019(2), 87\u2013152 (1992)","journal-title":"Science of Computer Programming"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.: Lustre: A declarative language for programming synchronous systems. In: Conf Rec 14th Ann ACM Symp. on Princ. Prog. Langs. (1987)","DOI":"10.1145\/41625.41641"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Castellani, I., Mukund, M., Thiagarajan, P.S.: Synthesizing Distributed Transition Systems from Global Specification. In: Foundations of Software Technology and Theoretical Computer Science, pp. 219\u2013231 (1999)","DOI":"10.1007\/3-540-46691-6_17"},{"key":"14_CR7","unstructured":"DeWachter, B.: Code Distribution in the dsl Environment for the Synthesis of Industrial Process Control. Technical report, U.L.B., January 15 (2003)"},{"key":"14_CR8","unstructured":"DeWachter, B., Massart, T., Meuter, C.: An experiment on synthesis and verification of an industrial process control in the dsl environment. In: Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS 2003), Technical Report DSSE-TR-2003-2, DSSE, Southampton (GB), April 2-3 (2003)"},{"issue":"5","key":"14_CR9","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1109\/71.679216","volume":"9","author":"B. Dimitrov","year":"1998","unstructured":"Dimitrov, B., Rego, V.: Arachne: A portable threads system supporting migrant threads on heterogeneous network farms. IEEE Transactions on Parallel and Distributed Systems\u00a09(5), 459 (1998)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"14_CR10","first-page":"3","volume":"4","author":"M. Rasit Eskicioglu","year":"1990","unstructured":"Rasit Eskicioglu, M.: Design issues of process migration facilities in distributed systems. IEEE Computer Society Technical Committe on Operating Systems and Application Environments Newsletter\u00a04, 3\u201313 (1990)","journal-title":"IEEE Computer Society Technical Committe on Operating Systems and Application Environments Newsletter"},{"key":"14_CR11","unstructured":"Girault, A.: Sur la R\u00e9partition de Programmes Synchrones. Phd thesis, INPG, Grenoble, France (January 1994)"},{"issue":"3","key":"14_CR12","first-page":"418","volume":"87","author":"J. Hennessy","year":"1999","unstructured":"Hennessy, J., Heinrich, M., Gupta, A.: Cache-coherent distributed shared memory: Perspectives on its development and future challenges. Proc. of the IEEE, Special Issue on Distributed Shared Memory\u00a087(3), 418\u2013429 (1999)","journal-title":"Proc. of the IEEE, Special Issue on Distributed Shared Memory"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Jiang, H., Chaudhary, V.: Compile\/run-time support for thread migration. In: Proceedings of the 16th International Parallel and Distributed Processing Symposium, Fort Lauderdale, Florida (April 2002)","DOI":"10.1109\/IPDPS.2002.1015547"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/3-540-36265-7_45","volume-title":"High Performance Computing - HiPC 2002","author":"H. Jiang","year":"2002","unstructured":"Jiang, H., Chaudhary, V.: On improving thread migration: Safety and performance. In: Sahni, S.K., Prasanna, V.K., Shukla, U. (eds.) HiPC 2002. LNCS, vol.\u00a02552, pp. 474\u2013484. Springer, Heidelberg (2002)"},{"issue":"9","key":"14_CR15","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P. LeGuernic","year":"1991","unstructured":"LeGuernic, P., Gautier, T., LeBorgne, M., LeMaire, C.: Programming real time applications with signal. Proceedings of the IEEE\u00a079(9), 1321\u20131336 (1991)","journal-title":"Proceedings of the IEEE"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Massart, T.: A calculus to define correct transformations of LOTOS specifications. In: Proceedings of the FORTE 1991 conference, pp. 281\u2013296 (1992)","DOI":"10.1016\/B978-0-444-89402-1.50029-1"},{"key":"14_CR17","series-title":"PHI Series in Computer Science","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. PHI Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)"},{"issue":"9","key":"14_CR18","doi-asserted-by":"publisher","first-page":"959","DOI":"10.1109\/71.615441","volume":"8","author":"C. Morin","year":"1997","unstructured":"Morin, C., Puaut, I.: A survey of recoverable distributed shared memory systems. IEEE Trans. on Parallel and Distributed Systems\u00a08(9), 959\u2013969 (1997)","journal-title":"IEEE Trans. on Parallel and Distributed Systems"},{"issue":"8","key":"14_CR19","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/2.84877","volume":"24","author":"B. Nizeberg","year":"1991","unstructured":"Nizeberg, B., Lo, V.: Distributed shared memory: A survey of issues and algorithms. IEEE Computer\u00a024(8), 52\u201360 (1991)","journal-title":"IEEE Computer"},{"key":"14_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-540-45187-7_2","volume-title":"CONCUR 2003 - Concurrency Theory","author":"A. Stef\u0103nescu","year":"2003","unstructured":"Stef\u0103nescu, A., Esparza, J., Muscholl, A.: Syntesis of Distributed Algorithm. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 27\u201341. Springer, Heidelberg (2003)"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"De Wachter, B., Massart, T., Meuter, C.: dsl: An environment with automatic code distribution for industrial control systems. Technical Report 512, ULB, Submitted to OPODIS 2003, 7th International Conference on Principles of Distributed Systems (2004)","DOI":"10.1007\/978-3-540-27860-3_14"}],"container-title":["Lecture Notes in Computer Science","Principles of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27860-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T16:28:04Z","timestamp":1559665684000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27860-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540226673","9783540278603"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27860-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}