{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:46:36Z","timestamp":1748072796999},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1988,4,1]],"date-time":"1988-04-01T00:00:00Z","timestamp":575856000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[1988,4]]},"DOI":"10.1007\/bf01383954","type":"journal-article","created":{"date-parts":[[2005,4,2]],"date-time":"2005-04-02T00:32:14Z","timestamp":1112401934000},"page":"153-206","source":"Crossref","is-referenced-by-count":12,"title":["Type theory and concurrency"],"prefix":"10.1007","volume":"17","author":[{"given":"Rance","family":"Cleaveland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Prakash","family":"Panangaden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","series-title":"Lecture Notes in Computer","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/3-540-15198-2_16","volume-title":"Proceedings of the 1985 Colloquium on Trees in Algebra and Programming","author":"C. Stirling","year":"1985","unstructured":"C. Stirling, A Complete Modal Proof System for a Subset of SCCS,Proceedings of the 1985 Colloquium on Trees in Algebra and Programming, Lecture Notes in Computer Science 185, H. Ehrig, C. Floyd, M. Nivat, and J. Thatcher, eds., Springer-Verlag, Berlin, pp. 253?266 (1985)."},{"issue":"3","key":"CR2","doi-asserted-by":"crossref","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(3):267?310 (July 1983).","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"CR3","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. Brookes","year":"1984","unstructured":"S. Brookes, C. A. R. Hoare, and A. Roscoe, A Theory of Communicating Sequential Processes,Journal of the Association for Computing Machinery 31(3):560?599 (July 1984).","journal-title":"Journal of the Association for Computing Machinery"},{"key":"CR4","volume-title":"Communicating Sequential Processes","author":"C. A. R. Hoare","year":"1985","unstructured":"C. A. R. Hoare,Communicating Sequential Processes, Prentice-Hall International, London (1985)."},{"key":"CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner,A Calculus of Communicating Systems, Lecture Notes in Computer Science 92. Springer-Verlag, Berlin (1980)."},{"issue":"4","key":"CR6","doi-asserted-by":"crossref","first-page":"896","DOI":"10.1145\/4221.4249","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy, Acceptance Trees,Journal of the Association for Computing Machinery 32(4):896?928 (October 1985).","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"1","key":"CR7","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"24","author":"R. DeNicola","year":"1984","unstructured":"R. DeNicola and M. Hennessy, Testing Equivalences for Processes,Theoretical Computer Science 24(1):83?133 (January 1984).","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"CR8","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 Association for Computing Machinery,32(1):137?161 (January 1985).","journal-title":"Journal of the Association for Computing Machinery"},{"key":"CR9","series-title":"CSLI Lecture Notes","volume-title":"Lecture Notes on Non-Well-Founded Sets","author":"P. Aczel","year":"1988","unstructured":"P. Aczel, Lecture Notes on Non-Well-Founded Sets,CSLI Lecture Notes, 11, CSLI, Stanford (1988)."},{"key":"CR10","unstructured":"R. Cleaveland, Type-Theoretic Models of Concurrency, PhD. Thesis, Cornell University (May 1987)."},{"key":"CR11","volume-title":"Implementing Mathematics with the Nuprl Proof Development System","author":"R. Constable","year":"1986","unstructured":"R. Constable et al.,Implementing Mathematics with the Nuprl Proof Development System, Prentice-Hall, Englewood Cliffs (1986)."},{"key":"CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the Eighth International Conference on Automated Deduction","author":"D. Howe","year":"1986","unstructured":"D. Howe, Implementing Number Theory: An Experiment with Nuprl,Proceedings of the Eighth International Conference on Automated Deduction, Lecture Notes in Computer Science 230, J. Siekmann, ed., Springer-Verlag, Berlin (1986)."},{"key":"CR13","series-title":"Proceedings of the Sixth International Congress for Logic, Methodology and Philosophy of Science","first-page":"153","volume-title":"Constructive Mathematics and Computer Programming","author":"P. Martin-Lof","year":"1982","unstructured":"P. Martin-Lof, Constructive Mathematics and Computer Programming,Proceedings of the Sixth International Congress for Logic, Methodology and Philosophy of Science, North-Holland, Amsterdam, pp. 153?175 (1982)."},{"key":"CR14","series-title":"Proceedings of the 1986 Symposium on Logic in Computer Science","first-page":"249","volume-title":"Infinite Objects in Type Theory","author":"N. Mendler","year":"1986","unstructured":"N. Mendler, P. Panangaden and R. Constable. Infinite Objects in Type Theory,Proceedings of the 1986 Symposium on Logic in Computer Science, IEEE Computer Society Press, Washington DC, pp. 249?257 (1986)."},{"key":"CR15","volume-title":"Combinaroty Logic 1","author":"H. Curry","year":"1958","unstructured":"H. Curry, R. Feys, and W. Craig,Combinaroty Logic 1. North-Holland, Amsterdam (1958)."},{"key":"CR16","first-page":"479","volume-title":"To H. B. Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism","author":"W. Howard","year":"1980","unstructured":"W. Howard, The Formulas-as-Types Notion of Construction,To H. B. Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism, J. Seldin and J. Hindley, eds., Academic Press, New York, pp. 479?490 (1980)."},{"key":"CR17","unstructured":"C. Stirling, Modal Logics for Communicating Systems, to appear inTheoretical Computer Science."},{"key":"CR18","unstructured":"R. Cleaveland and P. Panangaden, Type Theory and Concurrency, Technical Report 85-714, Department of Computer Science, Cornell University."},{"key":"CR19","volume-title":"An Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"M. Hennessy,An Algebraic Theory of Processes, MIT Press, Boston (1988)."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01383954.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01383954\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01383954","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T16:04:47Z","timestamp":1556813087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01383954"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,4]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1988,4]]}},"alternative-id":["BF01383954"],"URL":"https:\/\/doi.org\/10.1007\/bf01383954","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,4]]}}}