{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:32Z","timestamp":1725664832992},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616481"},{"type":"electronic","value":"9783540706533"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_50","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:09:46Z","timestamp":1330276186000},"page":"347-365","source":"Crossref","is-referenced-by-count":12,"title":["Toward a modal theory of types for the \u03c0-calculus"],"prefix":"10.1007","author":[{"given":"Roberto M.","family":"Amadio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mads","family":"Dam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"R. Amadio and M. Dam. Reasoning about higher-order processes. In Proc. CAAP 95, Aarhus. SLNCS 915, 1995. Preliminary version appeared as SICS RR 94-18, available at http:\/\/wwwi3s.unice.fr\/~amadio\/.","DOI":"10.1007\/3-540-59293-8_196"},{"key":"20_CR2","volume-title":"Technical Report 95-18","author":"R. Amadio","year":"1995","unstructured":"R. Amadio and M. Dam. Toward a modal theory of types for the \u03c0-calculus. Technical Report 95-18, Swedish Institute for Computer Science, Stockholm, 1995. Available at ftp:\/\/sics.se\/pub\/fdt\/mfd\/tmttpc.ps.Z."},{"key":"20_CR3","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/3-540-57208-2_3","volume":"715","author":"M. Dam","year":"1993","unstructured":"M. Dam. Model checking mobile processes. In Proc. CONCUR'93, Lecture Notes in Computer Science, 715:22\u201336, 1993. Full version in SICS report RR94:1, 1994.","journal-title":"Proc. CONCUR'93, Lecture Notes in Computer Science"},{"key":"20_CR4","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/3-540-60218-6_2","volume":"962","author":"M. Dam","year":"1995","unstructured":"M. Dam. Compositional proof systems for model checking infinite state processes. In Proc. CONCUR'95, Lecture Notes in Computer Science, 962:12\u201326, 1995.","journal-title":"Lecture Notes in Computer Science"},{"key":"20_CR5","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32:137\u2013162, 1985.","journal-title":"Journal of the ACM"},{"key":"20_CR6","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"D. Kozen. Results on the propositional \u03bc-calculus. Theoretical Computer Science, 27:333\u2013354, 1983.","journal-title":"Theoretical Computer Science"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"U. Montanari and M. Pistore. Checking bisimilarity for finitary \u03c0-calculus. In CONCUR '95, SLNCS 962, 1995.","DOI":"10.1007\/3-540-60218-6_4"},{"issue":"1","key":"20_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Process, Parts 1\u20132. Information and Computation, 100(1):1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"20_CR9","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0304-3975(93)90156-N","volume":"114","author":"R. Milner","year":"1993","unstructured":"R. Milner, J. Parrow, and D. Walker. Modal logics for mobile processes. Theoretical Computer Science, 114:149\u2013171, 1993.","journal-title":"Theoretical Computer Science"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"F. Orava and J. Parrow. An algebraic verification of a mobile network. Formal Aspects of Computing, pages 497\u2013543, 1992.","DOI":"10.1007\/BF01211473"},{"key":"20_CR11","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0304-3975(87)90012-0","volume":"49","author":"C. Stirling","year":"1987","unstructured":"C. Stirling. Modal logics for communicating systems. Theoretical Computer Science, 49:311\u2013347, 1987.","journal-title":"Theoretical Computer Science"},{"key":"20_CR12","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0304-3975(90)90110-4","volume":"89","author":"C. Stirling","year":"1991","unstructured":"C. Stirling and D. Walker. Local model checking in the modal mu-calculus. Theoretical Computer Science, 89:161\u2013177, 1991.","journal-title":"Theoretical Computer Science"},{"key":"20_CR13","unstructured":"D. Van Daalen. The language theory of Automath. PhD thesis, Technological University of Eindhoven, 1980. PhD thesis."},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"G. Winskel. Model checking the modal \u03bd-calculus. Springer Lecture Notes in Computer Science, 372, 1989.","DOI":"10.1007\/BFb0035797"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61648-9_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:09:05Z","timestamp":1605629345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}