{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:35:40Z","timestamp":1725496540892},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540583295"},{"type":"electronic","value":"9783540486541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-3-540-48654-1_24","type":"book-chapter","created":{"date-parts":[[2016,5,10]],"date-time":"2016-05-10T13:34:34Z","timestamp":1462887274000},"page":"299-314","source":"Crossref","is-referenced-by-count":6,"title":["A Symbolic Semantics for the \u03c0-calculus"],"prefix":"10.1007","author":[{"given":"Michele","family":"Boreale","sequence":"first","affiliation":[]},{"given":"Rocco","family":"Nicola","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"M. Boreale and R. De Nicola. Testing equivalence for mobile processes. Technical Report SI 92 RR 04, Dipartimento di Scienze dell\u2019Informazione Universit\u00e0 \u201cLa Sapienza\u201d, Roma, 1992. Extended abstract appeared in: R. Cleaveland (ed.), Proceedings of CONCUR \u201882, LNCS 630 Springer-Verlag. Full version to appear in Information and Computation.","key":"24_CR1","DOI":"10.1007\/BFb0084779"},{"key":"24_CR2","volume-title":"Technical Report SI 94 RR","author":"M Boreale","year":"1994","unstructured":"M. Boreale and R. De Nicola. A symbolic semantics for the a-calculus. Technical Report SI 94 RR 04, Dipartimento di Scienze dell\u2019Informazione Universit\u00e0 \u201cLa Sapienza\u201d, Roma, 1994."},{"key":"24_CR3","volume-title":"Proceedings of Concur","author":"M Dam","year":"1993","unstructured":"M. Dam. Model checking mobile processes. In E. Best, editor, Proceedings of CONCUR \u201883, LNCS 715. Springer-Verlag, Berlin, 1993."},{"doi-asserted-by":"crossref","unstructured":"G. Ferrari, U. Montanari, and P. Quaglia. The a-calculus with explicit substitutions. Technical report, Universit\u00e0 di Pisa, 1994. Accepted to MFCS\u201994.","key":"24_CR4","DOI":"10.1007\/3-540-58338-6_81"},{"key":"24_CR5","volume-title":"University of Sussex","author":"M Hennessy","year":"1991","unstructured":"M. Hennessy. A model for the a-calculus. Technical report, University of Sussex, 1991."},{"key":"24_CR6","volume-title":"University of Sussex","author":"M Hennessy","year":"1992","unstructured":"M. Hennessy and H. Lin. Symbolic bisimulations. Technical report, University of Sussex, 1992."},{"key":"24_CR7","volume-title":"Proceedings of Concur","author":"M Hennessy","year":"1993","unstructured":"M. Hennessy and H. Lin. Proof systems for message-passing process algebras. In E. Best, editor, Proceedings of CONCUR \u201883, LNCS 715. Springer-Verlag, Berlin, 1993."},{"key":"24_CR8","volume-title":"Prentice-Hall","author":"R","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"doi-asserted-by":"crossref","unstructured":"R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, part 1 and 2. Information and Computation, 100, 1992.","key":"24_CR9","DOI":"10.1016\/0890-5401(92)90009-5"},{"doi-asserted-by":"crossref","unstructured":"J. Parrow and D. Sangiorgi. Algebraic theories for name-passing calculi. Technical report, University of Edinburgh, 1993. To appear in Information and Computation.","key":"24_CR10","DOI":"10.1007\/3-540-58043-3_27"},{"key":"24_CR11","volume-title":"Proceedings of Concur","author":"D Sangiorgi","year":"1993","unstructured":"D. Sangiorgi. A theory of bisimulation for the a-calculus. In E. Best, editor, Proceedings of CONCUR \u201883, LNCS 715. Springer-Verlag, Berlin, 1993."},{"unstructured":"D. Sangiorgi. On the bisimulation proof method. Technical report, University of Edinburgh, 1994. In preparation.","key":"24_CR12"}],"container-title":["Lecture Notes in Computer Science","CONCUR '94: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48654-1_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,21]],"date-time":"2022-06-21T02:03:44Z","timestamp":1655777024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48654-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540583295","9783540486541"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48654-1_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}