{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:09:05Z","timestamp":1725466145255},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643029"},{"type":"electronic","value":"9783540697220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053562","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:40:18Z","timestamp":1149658818000},"page":"42-56","source":"Crossref","is-referenced-by-count":6,"title":["Verifiable and executable logic specifications of concurrent objects in $$\\mathcal{L}_\\pi$$"],"prefix":"10.1007","author":[{"given":"Lu\u00eds","family":"Caires","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Monteiro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"L. Caires. A language for the logical specification of processes and relations. In Michael Hanus, editor, Proceedings of the Algebraic and Logic Programming International Conference, number 1139 in LNCS, pages 150\u2013164, 1996.","DOI":"10.1007\/3-540-61735-3_10"},{"key":"4_CR2","unstructured":"L. Caires. A language for the logical specification of processes and relations. Technical Report 6.96, Universidade Nova de Lisboa, DI\/FCT, 1996. http:\/\/www-ctp.di.fct.unl.pt\/~lcaires\/writings\/lpi6.96.ps.gz."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"L. Caires and L. Monteiro. Proof net semantics of proof search computation. In K. Meinke and M. Hanus, editors, Proceedings of the Algebraic and Logic Programming International Conference, number 1298 in LNCS, pages 194\u2013208, 1997.","DOI":"10.1007\/BFb0027011"},{"issue":"3","key":"4_CR4","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF01212304","volume":"4","author":"J. Fiadeiro","year":"1992","unstructured":"J. Fiadeiro and T. Maibaum. Temporal theories as modularisation units for concurrent system specification. Formal Aspects of Computing, 4(3):239\u2013272, 1992.","journal-title":"Formal Aspects of Computing"},{"issue":"3","key":"4_CR5","doi-asserted-by":"publisher","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 \u039c-calculus. TCS, 27(3):333\u2013354, 1983.","journal-title":"TCS"},{"key":"4_CR6","unstructured":"D. Miller. A survey of linear logic programming. Computational Logic, 2(2), 1995."},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0168-0072(91)90068-W","volume":"51","author":"D. Miller","year":"1991","unstructured":"D. Miller, G. Nadathur, F. Pfenning, and A. Scedrov. Uniform proof as a foundation for logic programming. Ann. of Pure and App. Logic, (51):125\u2013157, 1991.","journal-title":"Ann. of Pure and App. Logic"},{"issue":"2","key":"4_CR8","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"R. Milner. Functions as processes. Math. Struc. in Computer Sciences, 2(2):119\u2013141, 1992.","journal-title":"Math. Struc. in Computer Sciences"},{"issue":"8","key":"4_CR9","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1007\/s002360050067","volume":"33","author":"R. Milner","year":"1996","unstructured":"R. Milner. Calculi for interaction. Acta Informatica, 33(8):707\u2013737, 1996.","journal-title":"Acta Informatica"},{"issue":"1","key":"4_CR10","doi-asserted-by":"publisher","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 processes, Part I 4-II. Information and Computation, 100(1):1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"O. Nierstrasz, J-G. Schneider, and M. Lumpe. Formalizing composable software systems-A research agenda. In Proceedings 1st IFIP Workshop on Formal Methods for Open Object-based Distributed Systems FMOODS'96, pages 271\u2013282. Chapmann and Hall, 1996.","DOI":"10.1007\/978-0-387-35082-0_20"},{"key":"4_CR12","first-page":"187","volume-title":"number 907 in Lecture Notes in Computer Science","author":"B. Pierce","year":"1995","unstructured":"B. Pierce and D. Turner. Concurrent objects in a process calculus. In Takayasu Ito and Akinori Yonezawa, editors, Theory and Practice of Parallel Programming (TPPP), Sendai, Japan (Nov. 1994), number 907 in Lecture Notes in Computer Science, pages 187\u2013215. Springer-Verlag, April 1995."},{"key":"4_CR13","series-title":"volume 70 of LNCS","first-page":"1","volume-title":"Semantics of Concurrent Computations","author":"A. Pnueli","year":"1979","unstructured":"A. Pnueli. The temporal semantics of concurrent programs. In G. Kahn, editor, Semantics of Concurrent Computations, volume 70 of LNCS, pages 1\u201320, Evian, France, July 1979. Springer-Verlag, Berlin, Germany."},{"key":"4_CR14","unstructured":"D. Sangiorgi. An interpretation of typed objects into the typed 7r-calculus. Technical report, INRIA Technical Report RR-3000, 1996."},{"issue":"5","key":"4_CR15","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1093\/logcom\/5.5.603","volume":"5","author":"A. Sernadas","year":"1995","unstructured":"A. Sernadas, C. Sernadas, and J. Costa. Object specification logic. Journal of Logic and Computation, 5(5):603\u2013630, October 1995.","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"4_CR16","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D. Walker","year":"1995","unstructured":"D. Walker. Objects in the \u03c0-calculus. Journal of Information and Computation, 116(2):253\u2013271, 1995.","journal-title":"Journal of Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053562","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T06:34:35Z","timestamp":1555655675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053562"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643029","9783540697220"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0053562","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}