{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:12:58Z","timestamp":1725473578409},"reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0084813","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T13:12:14Z","timestamp":1164373934000},"page":"518-533","source":"Crossref","is-referenced-by-count":25,"title":["Multiway synchronization verified with coupled simulation"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Parrow","sequence":"first","affiliation":[]},{"given":"Peter","family":"Sj\u00f6din","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"36_CR1","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1145\/48022.48023","volume":"10","author":"R. J. R. Back","year":"1988","unstructured":"R. J. R. Back and R. Kurki-Suonio. Distributed cooperation with action systems. ACM Transactions on Programming Languages and Systems, 10(4):513\u2013554, 1988.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"9","key":"36_CR2","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1109\/32.31364","volume":"15","author":"R. Bagrodia","year":"1989","unstructured":"R. Bagrodia. Process synchronization: Design and performance evaluation of distributed algorithms. IEEE Transactions on Software Engineering, 15(9):1053\u20131065, September 1989.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"36_CR3","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. In P. H. J. van Eijk, C. A. Vissers, and M. Diaz, editors, The Formal Description Technique LOTOS, pages 23\u201373. North-Holland, 1989."},{"issue":"2","key":"36_CR4","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1145\/24039.24050","volume":"9","author":"A. Charlesworth","year":"1987","unstructured":"A. Charlesworth. The multiway rendezvous. ACM Transactions on Programming Languages and Systems, 9(2):350\u2013366, July 1987.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"12","key":"36_CR5","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"R. De Nicola and M. C. B. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34(1,2):83\u2013133, 1984.","journal-title":"Theoretical Computer Science"},{"key":"36_CR6","volume-title":"Reports on Computer Science and Mathematics 39","author":"P. Eklund","year":"1984","unstructured":"P. Eklund. Synchronizing multiple processes in common handshakes. Reports on Computer Science and Mathematics 39, \u00c5bo Akademi, Finland, 1984."},{"issue":"11","key":"36_CR7","doi-asserted-by":"publisher","first-page":"1417","DOI":"10.1109\/32.41333","volume":"15","author":"M. Evangelist","year":"1989","unstructured":"M. Evangelist, N. Francez, and S. Katz. Multiparty interactions for interprocess communication and synchronization. IEEE Transactions on Software Engineering, 15(11):1417\u20131426, November 1989.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"36_CR8","doi-asserted-by":"crossref","unstructured":"N. Francez and I. R. Forman. Superimposition for interacting processes. In J. C. M. Baeten and J. W. Klop, editors, Proceedings of CONCUR '90, volume 458 of Lecture Notes in Computer Science, pages 230\u2013245. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0039063"},{"issue":"1","key":"36_CR9","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0167-6423(86)90018-3","volume":"6","author":"N. Francez","year":"1986","unstructured":"N. Francez, B. Hailpern, and G. Taubenfeld. Script: A communication abstraction mechanism. Science of Computer Programming, 6(1):35\u201388, January 1986.","journal-title":"Science of Computer Programming"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"Y.-J. Joung and S. A. Smolka. Coordinating first-order multiparty interactions. In Proc. 17th Annual ACM Symposium on Principles of Programming Languages, pages 209\u2013220, Orlando, Florida, January 1991.","DOI":"10.1145\/99583.99614"},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"D. Kumar. An implementation of N-party synchronization using tokens. In Proc. 10th International Conference on Distributed Computing Systems, pages 320\u2013327. IEEE, 1990.","DOI":"10.1109\/ICDCS.1990.89299"},{"key":"36_CR12","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"36_CR13","unstructured":"K. Mitchell. Implementations of Process Synchronization and their Analysis. PhD thesis, Department of Computer Science, University of Edinburgh, July 1986."},{"issue":"3","key":"36_CR14","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0020-0190(90)90091-B","volume":"34","author":"M. H. Park","year":"1990","unstructured":"M. H. Park and M. Kim. A distributed synchronization scheme for fair multi-process handshakes. Information Processing Letters, 34(3):131\u2013138, April 1990.","journal-title":"Information Processing Letters"},{"key":"36_CR15","doi-asserted-by":"crossref","unstructured":"S. Ramesh. A new and efficient implementation of multiprocess synchronization. In Parallel Architectures and Languages Europe, volume 259 of Lecture Notes in Computer Science, pages 387\u2013401. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17945-3_22"},{"issue":"8","key":"36_CR16","doi-asserted-by":"crossref","first-page":"967","DOI":"10.1109\/TSE.1987.233514","volume":"SE-13","author":"S. Ramesh","year":"1987","unstructured":"S. Ramesh and S. L. Mehndiratta. A methodology for developing distributed programs. IEEE Transactions on Software Engineering, SE-13(8):967\u2013976, August 1987.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"36_CR17","volume-title":"PhD thesis","author":"P. Sj\u00f6din","year":"1991","unstructured":"P. Sj\u00f6din. From LOTOS Specifications to Distributed Implementations. PhD thesis, Department of Computer Systems, Uppsala University, Uppsala, Sweden, 1991."}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084813.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:07:33Z","timestamp":1607551653000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084813"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540558224"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0084813","relation":{},"subject":[]}}