{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:19Z","timestamp":1761611299558},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609155"},{"type":"electronic","value":"9783540496755"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60915-6_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:03:45Z","timestamp":1330290225000},"page":"5-40","source":"Crossref","is-referenced-by-count":18,"title":["Specification Structures and propositions-as-types for concurrency"],"prefix":"10.1007","author":[{"given":"Samson","family":"Abramsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Gay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajagopal","family":"Nagarajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"S. Abramsky, S. J. Gay, and R. Nagarajan. Interaction categories and foundations of typed concurrent programming. In M. Broy, editor, Deductive Program Design: Proceedings of the 1994 Marktoberdorf International Summer School, NATO ASI Series F: Computer and Systems Sciences. Springer-Verlag, 1995. Also available as theory\/papers\/Abramsky\/marktoberdorf.ps.gz via anonymous ftp to theory.doc.ic.ac.uk.","DOI":"10.1007\/978-3-642-61455-2_10"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0168-0072(91)90065-T","volume":"51","author":"S. Abramsky","year":"1991","unstructured":"S. Abramsky. Domain theory in logical form. Annals of Pure and Applied Logic, 51:1\u201377, 1991.","journal-title":"Annals of Pure and Applied Logic"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"S. Abramsky. Interaction Categories (Extended Abstract). In G. L. Burn, S. J. Gay, and M. D. Ryan, editors, Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, pages 57\u201370. Springer-Verlag Workshops in Computer Science, 1993.","DOI":"10.1007\/978-1-4471-3503-6_5"},{"key":"2_CR4","unstructured":"S. Abramsky. Interaction Categories and communicating sequential processes. In A. W. Roscoe, editor, A Classical Mind: Essays in Honour of C. A. R. Hoare, pages 1\u201315. Prentice Hall International, 1994."},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0304-3975(94)00103-0","volume":"135","author":"S. Abramsky","year":"1994","unstructured":"S. Abramsky. Proofs as processes. Theoretical Computer Science, 135:5\u20139, 1994.","journal-title":"Theoretical Computer Science"},{"key":"2_CR6","unstructured":"S. Abramsky. Interaction Categories I: Synchronous processes. Paper in preparation, 1995."},{"issue":"2","key":"2_CR7","doi-asserted-by":"crossref","first-page":"543","DOI":"10.2307\/2275407","volume":"59","author":"S. Abramsky","year":"1994","unstructured":"S. Abramsky and R. Jagadeesan. Games and full completeness for multiplicative linear logic. Journal of Symbolic Logic, 59(2):543\u2013574, June 1994.","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"2_CR8","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1006\/inco.1994.1041","volume":"111","author":"S. Abramsky","year":"1994","unstructured":"S. Abramsky and R. Jagadeesan. New foundations for the geometry of interaction. Information and Computation, 111(1):53\u2013119, 1994.","journal-title":"Information and Computation"},{"key":"2_CR9","first-page":"1","volume-title":"Lecture Notes in Computer Science","author":"S. Abramsky","year":"1994","unstructured":"S. Abramsky, R. Jagadeesan, and P. Malacaria. Full abstraction for PCF (extended abstract). In M. Hagiya and J. C. Mitchell, editors, Theoretical Aspects of Computer Software. International Symposium TACS'94, number 789 in Lecture Notes in Computer Science, pages 1\u201315, Sendai, Japan, April 1994. Springer-Verlag."},{"key":"2_CR10","unstructured":"A. Asperti and G. Longo. Categories, Types and Structures: An introduction to category theory for the working computer scientist. Foundations of Computing Series. MIT Press, 1991."},{"issue":"2","key":"2_CR11","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1017\/S0960129500001274","volume":"1","author":"M. Barr","year":"1991","unstructured":"M. Barr. *-autonomous categories and linear logic. Mathematical Structures in Computer Science, 1(2):159\u2013178, July 1991.","journal-title":"Mathematical Structures in Computer Science"},{"key":"2_CR12","unstructured":"G. Berry and P.-L. Curien. Theory and practice of sequential algorithms: the kernel of the applicative language CDS. In J. C. Reynolds and M. Nivat, editors, Algebraic Semantics, pages 35\u201384. Cambridge University Press, 1985."},{"issue":"1","key":"2_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90053-V","volume":"115","author":"R. Blute","year":"1993","unstructured":"R. Blute. Linear logic, coherence and dinaturality. Theoretical Computer Science, 115(1):3\u201341, 1993.","journal-title":"Theoretical Computer Science"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"P. M. Cohn. Universal Algebra, volume 6. D. Reidel, 1981.","DOI":"10.1007\/978-94-009-8399-1"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"R. L. Croie. Categories for Types. Cambridge University Press, 1994.","DOI":"10.1017\/CBO9781139172707"},{"key":"2_CR16","unstructured":"J. W. de Bakker. Mathematical Theory of Program Correctness. Prentice Hall International, 1980."},{"key":"2_CR17","unstructured":"W. P. de Roever. The quest for compositionality\u2014a survey of assertion based proof systems for concurrent programs, Part I: Concurrency based on shared variables. In Proceedings of the IFIP Working Conference, 1985."},{"key":"2_CR18","unstructured":"S. J. Gay. Linear Types for Communicating Processes. PhD thesis, University of London, 1995. Available as theory\/papers\/Gay\/thesis.ps.gz via anonymous ftp to theory.doc.ic.ac.uk."},{"key":"2_CR19","unstructured":"G. Gentzen. Investigations into logical deduction. In M. E. Szabo, editor, The Collected Papers of Gerhard Gentzen. North-Holland, 1969."},{"issue":"1","key":"2_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"J.-Y. Girard. Linear Logic. Theoretical Computer Science, 50(1):1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"2_CR21","unstructured":"J.-Y. Girard, Y. Lafont, and P. Taylor. Proofs and Types, volume 7 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1989."},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"2_CR23","unstructured":"N. D. Jones and F. Nielson. Abstract interpretation. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume 4. Oxford University Press, 1995. To appear."},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0022-4049(80)90101-2","volume":"19","author":"G. M. Kelly","year":"1980","unstructured":"G. M. Kelly and M. L. Laplaza. Coherence for compact closed categories. Journal of Pure and Applied Algebra, 19:193\u2013213, 1980.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"D. C. Kozen and J. Tiuryn. Logics of programs. In van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 789\u2013840. North Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50019-6"},{"key":"2_CR26","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1971","unstructured":"S. MacLane. Categories for the Working Mathematician. Springer-Verlag, Berlin, 1971."},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"J. McKinna and R. Burstall. Deliverables: A categorical approach to program development in type theory. In Proceedings of Mathematical Foundation of Computer Science, 1993.","DOI":"10.1007\/3-540-57182-5_3"},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25:267\u2013310, 1983.","journal-title":"Theoretical Computer Science"},{"key":"2_CR30","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"2_CR31","unstructured":"R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, 1990."},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"P. W. O'Hearn and R. D. Tennent. Relational parametricity and local variables. In Proceedings, 20th ACM Symposium on Principles of Programming Languages. ACM Press, 1993.","DOI":"10.1145\/158511.158624"},{"key":"2_CR33","first-page":"86","volume-title":"Relational properties of recursively defined domains","author":"A. M. Pitts","year":"1993","unstructured":"A. M. Pitts. Relational properties of recursively defined domains. In 8th Annual Symposium on Logic in Computer Science, pages 86\u201397. IEEE Computer Society Press, Washington, 1993."},{"key":"2_CR34","volume-title":"Perspectives in Mathematical Logic","author":"R. Soare","year":"1987","unstructured":"R. Soare. Recursively Enumerable Sets and Degrees. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1987."},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"J. B. Wells. Typability and type checking in the second-order \u03bb-calculus are equivalent and undecidable. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, 1994.","DOI":"10.1109\/LICS.1994.316068"}],"container-title":["Lecture Notes in Computer Science","Logics for Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60915-6_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:09:13Z","timestamp":1640945353000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60915-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609155","9783540496755"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-60915-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}