{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:33:47Z","timestamp":1725521627369},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540893295"},{"type":"electronic","value":"9783540893301"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89330-1_16","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T21:43:37Z","timestamp":1227735817000},"page":"221-236","source":"Crossref","is-referenced-by-count":1,"title":["On Affine Usages in Signal-Based Communication"],"prefix":"10.1007","author":[{"given":"Roberto M.","family":"Amadio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehdi","family":"Dogguy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.jlap.2006.08.001","volume":"70","author":"R. Amadio","year":"2007","unstructured":"Amadio, R.: The SL synchronous language, revisited. Journal of Logic and Algebraic Programming\u00a070, 121\u2013150 (2007)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"9","key":"16_CR2","doi-asserted-by":"publisher","first-page":"1470","DOI":"10.1016\/j.ic.2007.02.002","volume":"205","author":"R. Amadio","year":"2007","unstructured":"Amadio, R.: A synchronous \u03c0-calculus. Information and Computation\u00a0205(9), 1470\u20131490 (2007)","journal-title":"Information and Computation"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/S0304-3975(97)00223-5","volume":"195","author":"R. Amadio","year":"1998","unstructured":"Amadio, R., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous \u03c0-calculus. Theoretical Computer Science\u00a0195, 291\u2013324 (1998)","journal-title":"Theoretical Computer Science"},{"key":"#cr-split#-16_CR4.1","unstructured":"Amadio, R., Dogguy, M.: Determinacy in a synchronous ??-calculus. Technical Report, Universit?? Paris 7, Laboratoire PPS (July 2007);"},{"key":"#cr-split#-16_CR4.2","doi-asserted-by":"crossref","unstructured":"From semantics to computer science: essays in honor of Kahn, G., Bertot, Y., et al. (eds.) CUP (to appear)","DOI":"10.1017\/CBO9780511770524"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Amadio, R., Dogguy, M.: On affine usages in signal based communication. Technical Report, Universit\u00e9 Paris 7, Laboratoire PPS (April 2008)","DOI":"10.1007\/978-3-540-89330-1_16"},{"issue":"2","key":"16_CR6","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. Science of computer programming\u00a019(2), 87\u2013152 (1992)","journal-title":"Science of computer programming"},{"issue":"4","key":"16_CR7","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1109\/32.491649","volume":"22","author":"F. Boussinot","year":"1996","unstructured":"Boussinot, F., De Simone, R.: The SL synchronous language. IEEE Trans. on Software Engineering\u00a022(4), 256\u2013266 (1996)","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"1","key":"16_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear Logic. Theoretical Computer Science\u00a050(1), 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"16_CR9","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0304-3975(95)00074-7","volume":"151","author":"K. Honda","year":"1995","unstructured":"Honda, K., Yoshida, N.: On reduction-based process semantics. Theoretical Computer Science\u00a0151(2), 437\u2013486 (1995)","journal-title":"Theoretical Computer Science"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/978-3-540-40007-3_26","volume-title":"Proc. 10th Anniversary Colloquium of UNU\/IIST","author":"N. Kobayashi","year":"2003","unstructured":"Kobayashi, N.: Type systems for concurrent programs. In: Aichernig, B.K., Maibaum, T. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol.\u00a02757, pp. 439\u2013453. Springer, Heidelberg (2003)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Kobayashi, N., Pierce, B., Turner, D.: Linearity and the pi-calculus. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a021(5) (1999)","DOI":"10.1145\/330249.330251"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Mandel, L., Pouzet, M.: ReactiveML, a reactive extension to ML. In: Proc. ACM Principles and Practice of Declarative Programming, pp. 82\u201393 (2005)","DOI":"10.1145\/1069774.1069782"},{"key":"16_CR13","volume-title":"Communication and concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"issue":"1","key":"16_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts 1-2. Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Wadler, P.: A Taste of Linear Logic. In: Proc. Mathematical Foundations of Computer Science, SLNCS, vol. 711, pp. 185-210 (1993)","DOI":"10.1007\/3-540-57182-5_12"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89330-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T15:47:32Z","timestamp":1557935252000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89330-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540893295","9783540893301"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89330-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}