{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:44:39Z","timestamp":1725565479928},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156397"},{"type":"electronic","value":"9783642156403"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15640-3_10","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T00:11:29Z","timestamp":1284509489000},"page":"135-152","source":"Crossref","is-referenced-by-count":2,"title":["Responsive Choice in Mobile Processes"],"prefix":"10.1007","author":[{"given":"Maxime","family":"Gamboni","sequence":"first","affiliation":[]},{"given":"Ant\u00f3nio","family":"Ravara","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.tcs.2008.08.017","volume":"409","author":"L. Acciai","year":"2008","unstructured":"Acciai, L., Boreale, M.: Responsiveness in process calculi. Theoretical Computer Science\u00a0409(1), 59\u201393 (2008)","journal-title":"Theoretical Computer Science"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-540-85361-9_30","volume-title":"CONCUR 2008 - Concurrency Theory","author":"L. Acciai","year":"2008","unstructured":"Acciai, L., Boreale, M.: Spatial and behavioral types in the pi-calculus. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 372\u2013386. Springer, Heidelberg (2008)"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-24727-2_7","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Caires","year":"2004","unstructured":"Caires, L.: Behavioral and spatial observations in a logic for the \u03c0-calculus. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 72\u201389. Springer, Heidelberg (2004)"},{"issue":"7","key":"10_CR4","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1016\/j.ic.2006.03.002","volume":"204","author":"Y. Deng","year":"2006","unstructured":"Deng, Y., Sangiorgi, D.: Ensuring termination by typability. Information and Computation\u00a0204(7), 1045\u20131082 (2006)","journal-title":"Information and Computation"},{"key":"10_CR5","unstructured":"Gamboni, M., Ravara, A.: Activeness and responsiveness in mobile processes. In: 7th Conference on Telecommunications, pp. 429\u2013432. Instituto de Telecomunica\u00c7\u00f5es (2009)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Gamboni, M., Ravara, A.: Responsive choice in process calculi. Technical report, SQIG \u2014 IT and IST, UTL Portugal (2009), http:\/\/gamboni.org\/i.pdf","DOI":"10.1007\/978-3-642-15640-3_10"},{"issue":"3","key":"10_CR7","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1145\/373243.360215","volume":"36","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Kobayashi, N.: A generic type system for the Pi-calculus. ACM SIGPLAN Notices\u00a036(3), 128\u2013141 (2001)","journal-title":"ACM SIGPLAN Notices"},{"issue":"2","key":"10_CR8","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1016\/S0890-5401(02)93171-8","volume":"177","author":"N. Kobayashi","year":"2002","unstructured":"Kobayashi, N.: A type system for lock-free processes. Information and Computation\u00a0177(2), 122\u2013159 (2002)","journal-title":"Information and Computation"},{"key":"10_CR9","unstructured":"Kobayashi, N.: Typical 1.6.2 (2008)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-540-70545-1_10","volume-title":"Computer Aided Verification","author":"N. Kobayashi","year":"2008","unstructured":"Kobayashi, N., Sangiorgi, D.: A hybrid type system for lock-freedom of mobile processes. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.\u00a05123, pp. 80\u201393. Springer, Heidelberg (2008)"},{"key":"10_CR11","series-title":"NATO ASI Series F","volume-title":"Logic and Algebra of Specification, Proceedings of the International NATO Summer School, (Marktoberdorf, Germany, 1991)","author":"R. Milner","year":"1993","unstructured":"Milner, R.: The polyadic \u03c0-calculus: A tutorial. In: Logic and Algebra of Specification, Proceedings of the International NATO Summer School (Marktoberdorf, Germany, 1991). NATO ASI Series F, vol.\u00a094, Springer, Heidelberg (1993)"},{"issue":"1","key":"10_CR12","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, i and ii. Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"10_CR13","first-page":"376","volume-title":"Proceedings of LICS 1993","author":"B.C. Pierce","year":"1993","unstructured":"Pierce, B.C., Sangiorgi, D.: Typing and subtyping for mobile processes. In: Proceedings of LICS 1993, pp. 376\u2013385. IEEE Computer Society, Los Alamitos (1993)"},{"issue":"1-2","key":"10_CR14","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1016\/S0304-3975(99)00040-7","volume":"221","author":"D. Sangiorgi","year":"1999","unstructured":"Sangiorgi, D.: The name discipline of uniform receptiveness. Theoretical Computer Science\u00a0221(1-2), 457\u2013493 (1999)","journal-title":"Theoretical Computer Science"},{"key":"10_CR15","volume-title":"PI-Calculus: A Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: PI-Calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"}],"container-title":["Lecture Notes in Computer Science","Trustworthly Global Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15640-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T15:38:12Z","timestamp":1559662692000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15640-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156397","9783642156403"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15640-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}