{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:13:08Z","timestamp":1767237188782},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319405773"},{"type":"electronic","value":"9783319405780"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-40578-0_1","type":"book-chapter","created":{"date-parts":[[2016,6,29]],"date-time":"2016-06-29T16:25:20Z","timestamp":1467217520000},"page":"3-19","source":"Crossref","is-referenced-by-count":7,"title":["Rigid Families for the Reversible $$\\pi $$ -Calculus"],"prefix":"10.1007","author":[{"given":"Ioana","family":"Cristescu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean","family":"Krivine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Varacca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,30]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/978-3-540-28644-8_19","volume-title":"CONCUR 2004 - Concurrency Theory","author":"V Danos","year":"2004","unstructured":"Danos, V., Krivine, J.: Reversible communicating systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 292\u2013307. Springer, Heidelberg (2004)"},{"key":"1_CR2","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/j.entcs.2007.08.018","volume":"192","author":"I Phillips","year":"2007","unstructured":"Phillips, I., Ulidowski, I.: Reversibility and models for concurrency. Electron. Notes Theor. Comput. Sci. 192, 93\u2013108 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1007\/978-3-642-15375-4_33","volume-title":"CONCUR 2010 - Concurrency Theory","author":"I Lanese","year":"2010","unstructured":"Lanese, I., Mezzina, C.A., Stefani, J.-B.: Reversing higher-order Pi. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 478\u2013493. Springer, Heidelberg (2010)"},{"key":"1_CR4","first-page":"388","volume":"2013","author":"I Cristescu","year":"2013","unstructured":"Cristescu, I., Krivine, J., Varacca, D.: A compositional semantics for the reversible $$\\pi $$ -calculus. Proc. LICS 2013, 388\u2013397 (2013)","journal-title":"Proc. LICS"},{"key":"1_CR5","first-page":"199","volume":"1995","author":"RJ Glabbeek van","year":"1995","unstructured":"van Glabbeek, R.J., Plotkin, G.D.: Configuration structures. Proc. LICS 1995, 199\u2013209 (1995)","journal-title":"Proc. LICS"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Castellan, S., Hayman, J., Lasson, M., Winskel, G.: Strategies as concurrent processes. In: Proceedings of the MFPS XXX, ENTCS, vol. 308, pp. 87\u2013107 (2014)","DOI":"10.1016\/j.entcs.2014.10.006"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/978-3-319-25150-9_14","volume-title":"Theoretical Aspects of Computing - ICTAC 2015","author":"ID Cristescu","year":"2015","unstructured":"Cristescu, I.D., Krivine, J., Varacca, D.: Rigid families for CCS and the $$\\pi $$ -calculus. In: Leucker, M., Rueda, C., Valencia, F.D. (eds.) ICTAC 2015. LNCS, vol. 9399, pp. 223\u2013240. Springer, Heidelberg (2015)"},{"key":"1_CR8","volume-title":"Communicating and Mobile Systems: The $$\\pi $$ -Calculus","author":"R Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The $$\\pi $$ -Calculus. Cambridge University Press, New York (1999)"},{"key":"1_CR9","unstructured":"Hayman, J., Winskel, G.: Event structure semantics for security protocols. Submitted for Publication (2013)"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/978-3-642-28729-9_15","volume-title":"Foundations of Software Science and Computational Structures","author":"S Crafa","year":"2012","unstructured":"Crafa, S., Varacca, D., Yoshida, N.: Event structure semantics of parallel extrusion in the Pi-calculus. In: Birkedal, L. (ed.) FOSSACS 2012 and ETAPS 2012. LNCS, vol. 7213, pp. 225\u2013239. Springer, Heidelberg (2012)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1007\/BFb0012800","volume-title":"Automata, Languages and Programming","author":"G Winskel","year":"1982","unstructured":"Winskel, G.: Event structure semantics for CCS and related languages. In: Nielsen, M., Schmidt, E.M. (eds.) Automata, Languages and Programming. LNCS, vol. 140, pp. 561\u2013576. Springer, Heidelberg (1982)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Aubert, C., Cristescu, I.: Reversible barbed congruence on configuration structures. In: Proceedings of the ICE 2015, EPTCS, vol. 189, pp. 68\u201385 (2015)","DOI":"10.4204\/EPTCS.189.7"},{"issue":"4\/5","key":"1_CR13","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/s002360000041","volume":"37","author":"RJ Glabbeek van","year":"2001","unstructured":"van Glabbeek, R.J., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Inf. 37(4\/5), 229\u2013327 (2001)","journal-title":"Acta Inf."},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1007\/978-3-642-36315-3_18","volume-title":"Reversible Computation","author":"I Phillips","year":"2013","unstructured":"Phillips, I., Ulidowski, I., Yuen, S.: A reversible process calculus and the modelling of the ERK signalling pathway. In: Gl\u00fcck, R., Yokoyama, T. (eds.) RC 2012. LNCS, vol. 7581, pp. 218\u2013232. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40578-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T13:28:26Z","timestamp":1498310906000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40578-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319405773","9783319405780"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40578-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}