{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:26:10Z","timestamp":1725560770963},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642145520"},{"type":"electronic","value":"9783642145537"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14553-7_18","type":"book-chapter","created":{"date-parts":[[2010,7,26]],"date-time":"2010-07-26T07:59:21Z","timestamp":1280131161000},"page":"172-184","source":"Crossref","is-referenced-by-count":1,"title":["Categorial Semantics of a Solution to Distributed Dining Philosophers Problem"],"prefix":"10.1007","author":[{"given":"Zhen","family":"You","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinyun","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shi","family":"Ying","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Operating Systems Techniques","author":"E.W. Dijkstra","year":"1971","unstructured":"Dijkstra, E.W.: Hierarchical Ordering of Sequenial Processes. In: Operating Systems Techniques. Academic Press, London (1971)"},{"key":"18_CR2","unstructured":"Dijkstra, E.W.: Two Starvation-free Solutions of a General Exclusion Problem. EWD 625, Platanstraat 5, AI Nuenen, The Netherlands (1978)"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Awerbuch, B., Saks, M.: A dining philosophers Algorithm With Polynomial Response Time. In: Proceedings of the 31st Annual IEEE Symposium on Foundations of Computer Science, pp. 65\u201374 (1990)","DOI":"10.1109\/FSCS.1990.89525"},{"key":"18_CR4","unstructured":"Page, I.A., Jacob, R.T., Chern, S.E.: Optimal Algorithms for Distributed Resource Allocation. IEEE Distributed Computing (1991)"},{"key":"18_CR5","first-page":"333","volume-title":"A classical mind: essays in honour of C.A.R. Hoare, ch. 20","author":"D. Lehmann","year":"1994","unstructured":"Lehmann, D., Rabin, M.O.: On The Advantages of Free Choice: a Symetric and Fully Distributed Solution for The Dining Philosophers Problem. In: Roscoe, A.W. (ed.) A classical mind: essays in honour of C.A.R. Hoare, ch. 20, pp. 333\u2013352. Prentice Hall, Englewood Cliffs (1994)"},{"issue":"1","key":"18_CR6","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s00446-003-0102-z","volume":"17","author":"M. Duflot","year":"2004","unstructured":"Duflot, M., Fribourg, L., Picaronny, C.: Randomized Dining Philosophers Without Fairness Assumption. Distrib. Comput.\u00a017(1), 65\u201376 (2004)","journal-title":"Distrib. Comput."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Garg, V.K.: Analysis of Distributed Systems With Many Identical Processes. Distributed Computing Systems, 358\u2013365 (1988)","DOI":"10.1109\/DCS.1988.12537"},{"issue":"3","key":"18_CR8","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1109\/32.4649","volume":"14","author":"S. Aggarwal","year":"1988","unstructured":"Aggarwal, S., Barbara, D., Meth, K.Z.: A Software Environment for The Specification And Analysis of Problems of Coordination And Concurrency. IEEE Transactions on Software Engineering\u00a014(3), 280\u2013290 (1988)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Parashkevov, A.N., Yantchev, J.: ARC-a Tool for Efficient Refinement And Equivalence Checking for CSP. In: ICAPP 1996, pp. 68\u201375 (1996)","DOI":"10.1109\/ICAPP.1996.562859"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Furia, C.A., Rossi, M., Dino, M., Morzenti, A.: Automated Compositional Proofs for Real-time Systems. Theoretical Computer Science (2007)","DOI":"10.1016\/j.tcs.2007.02.003"},{"issue":"4","key":"18_CR11","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1145\/1780.1804","volume":"6","author":"K.M. Chandy","year":"1984","unstructured":"Chandy, K.M., Misra, J.: The Drinking Philosophers Problem. Prog. Lang. Syst.\u00a06(4), 632\u2013646 (1984)","journal-title":"Prog. Lang. Syst."},{"issue":"4","key":"18_CR12","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/BF01795949","volume":"7","author":"D.C. Rine","year":"1973","unstructured":"Rine, D.C.: A Category Theory For Programming Languages. Mathematical System Theory\u00a07(4), 304\u2013317 (1973)","journal-title":"Mathematical System Theory"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-642-00590-9_5","volume-title":"Programming Languages and Systems","author":"J.C. Reynolds","year":"2009","unstructured":"Reynolds, J.C.: Using Category Theory to Design Programming Languages. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 62\u201363. Springer, Heidelberg (2009)"},{"issue":"2-3","key":"18_CR14","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0167-6423(96)00025-1","volume":"28","author":"J.L. Fiadeiro","year":"1997","unstructured":"Fiadeiro, J.L., Maibaum, T.: Categorical Semantics of Parallel Program Design. Science of Computer Programming\u00a028(2-3), 111\u2013138 (1997)","journal-title":"Science of Computer Programming"},{"key":"18_CR15","unstructured":"Minamizono, K., Katai, O., Shiose, T., Kawakami, H.: Analyses of Design Processes Based on Category Theory and Channel Theory. In: SICE Annual Conference in Fukui (2003)"},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.entcs.2008.10.003","volume":"218","author":"A. Buisse","year":"2008","unstructured":"Buisse, A., Dybjer, P.: The Interpretation of Intuitionistic Type Theory in Lacolly Cartesian Closed Categories an Intuitionistic Perspective. Electronic Notes in Theoretical Computer Science\u00a0218, 21\u201323 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"18_CR17","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.entcs.2007.09.023","volume":"196","author":"A. Buisse","year":"2008","unstructured":"Buisse, A., Dybjeri, P.: Towards Formallizing Categorical Models of Type Theory in Type Theory. Electronic Notes in Theoretical Computer Science\u00a0196, 137\u2013151 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"18_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1008688122154","volume":"6","author":"H. Ehrig","year":"1998","unstructured":"Ehrig, H., Grobe-Rhode, M., Wolter, U.: Applications of Category Theory to the Area of Algebraic Specification in Computer Science. Applied Categorical Structures\u00a06, 1\u201335 (1998)","journal-title":"Applied Categorical Structures"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1007\/3-540-52885-7_136","volume-title":"10th International Conference on Automated Deduction","author":"J.A. Altuncher","year":"1990","unstructured":"Altuncher, J.A., Panangaden, P.: A Mechanically Assisted Constructive Proof in Category Theory. In: Stickel, M.E. (ed.) CADE 1990. LNCS, vol.\u00a0449, pp. 673\u2013674. Springer, Heidelberg (1990)"},{"key":"18_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/11814771_34","volume-title":"Automated Reasoning","author":"D. Kozen","year":"2006","unstructured":"Kozen, D., Kreitz, C., Richter, E.: Automating Proofs in Category Theory. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 392\u2013407. Springer, Heidelberg (2006)"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Fiadeiro, J.L., Maibaum, T.: A Mathematical Toolbox for Software Architect. In: Proc. 8th Int. Workshop on Software Sepcification and Design, pp. 44\u201355. IEEE Computer Science Press, Silver Springer, MD (1996)","DOI":"10.1109\/IWSSD.1996.501146"},{"key":"18_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"640","DOI":"10.1007\/978-3-540-76837-1_69","volume-title":"Advanced Parallel Processing Technologies","author":"X. Yang","year":"2007","unstructured":"Yang, X., Hou, J., Wan, J.: Formal Semantic Meanings of Architecture-Centric Model Mapping. In: Xu, M., Zhan, Y.-W., Cao, J., Liu, Y. (eds.) APPT 2007. LNCS, vol.\u00a04847, pp. 640\u2013649. Springer, Heidelberg (2007)"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Crole, R.L.: Basic Category Theory for Models of Syntax. In: course notes for Summer School on Generic Programming, SSGP\u2019s (2002)","DOI":"10.1007\/978-3-540-45191-4_4"},{"key":"18_CR24","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/j.tcs.2004.07.024","volume":"327","author":"M. Lenisa","year":"2004","unstructured":"Lenisa, M., Power, J., Watanabe, H.: Category Theory for Operational Semantics. Theoretical Computer Science\u00a0327, 135\u2013154 (2004)","journal-title":"Theoretical Computer Science"},{"key":"18_CR25","unstructured":"van Oosten, J.: Basic Category Theory (2002)"},{"key":"18_CR26","volume-title":"Categories for Software Engnieering","author":"J.L. Fiadeiro","year":"2005","unstructured":"Fiadeiro, J.L.: Categories for Software Engnieering. Springer, Heidelberg (2005)"},{"key":"18_CR27","volume-title":"Parallel Program Design: A Foundation","author":"K.M. Chandy","year":"1988","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)"},{"key":"18_CR28","volume-title":"Communiciation and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communiciation and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"18_CR29","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"18_CR30","volume-title":"Executing Temporal Logic Porgrams","author":"B. Moszkowshi","year":"1986","unstructured":"Moszkowshi, B.: Executing Temporal Logic Porgrams. Cambridge University Press, Cambridge (1986)"},{"key":"18_CR31","doi-asserted-by":"crossref","unstructured":"Duan, Z., Tian, C., Zhang, L.: A decision procedure for propositional projection temporal logic with infinite models. Acta Informatica\u00a045(1) (2008)","DOI":"10.1007\/s00236-007-0062-z"},{"key":"18_CR32","volume-title":"Programming Langugages","author":"E.W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: Cooperating Sequential Proccess. In: Genuys, F. (ed.) Programming Langugages. Academic Press, London (1968)"},{"key":"18_CR33","first-page":"7142","volume-title":"Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing","author":"E.B. Weidman","year":"1991","unstructured":"Weidman, E.B., Page, I.P., Pervin, W.J.: Explicit Dynamic Exclusion Algorithm. In: Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, pp. 7142\u20137149. IEEE, Los Alamitos (1991)"}],"container-title":["Lecture Notes in Computer Science","Frontiers in Algorithmics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14553-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T16:30:22Z","timestamp":1559320222000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14553-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642145520","9783642145537"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14553-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}