{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:24:41Z","timestamp":1725575081945},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540233183"},{"type":"electronic","value":"9783540301325"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30132-5_106","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T02:15:59Z","timestamp":1294971359000},"page":"779-785","source":"Crossref","is-referenced-by-count":0,"title":["Sets of Communicating Sequential Processes.A Topological Rough Set Framework"],"prefix":"10.1007","author":[{"given":"L.","family":"Polkowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Semeniuk-Polkowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"106_CR1","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":"106_CR2","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"106_CR3","unstructured":"Mislove, M.W.: Topology, Domain Theory, and Theoretical Computer Science. In: [9]"},{"key":"106_CR4","volume-title":"Rough Sets: Theoretical Aspects of Reasoning about Data","author":"Z. Pawlak","year":"1992","unstructured":"Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning about Data. Kluwer, Dordrecht (1992)"},{"key":"106_CR5","unstructured":"Polkowski, L., Semeniuk-Polkowska, M.: Toward exact sets of communicating sequential processes. Fundamenta Informaticae (in print)"},{"key":"106_CR6","volume-title":"Mathematical Foundations","author":"L. Polkowski","year":"2002","unstructured":"Polkowski, L.: Rough Sets. In: Mathematical Foundations, Physica\/Springer Vlg, Heidelberg (2002)"},{"issue":"3","key":"106_CR7","first-page":"241","volume":"41","author":"L. Polkowski","year":"1993","unstructured":"Polkowski, L.: Mathematical morphology of rough sets. Bull.Polish Acad. Sci. Math.\u00a041(3), 241\u2013273 (1993)","journal-title":"Bull.Polish Acad. Sci. Math."},{"key":"106_CR8","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall, Europe (1998)"},{"key":"106_CR9","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537601.001.0001","volume-title":"Topology and Category Theory in Computer Science","author":"G.M. Reed","year":"1991","unstructured":"Reed, G.M., Roscoe, A.W., et al.: Topology and Category Theory in Computer Science. Oxford University Press, Oxford (1991)"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30132-5_106.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,3]],"date-time":"2024-04-03T03:01:48Z","timestamp":1712113308000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30132-5_106"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540233183","9783540301325"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30132-5_106","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}