{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T23:59:02Z","timestamp":1648598342631},"reference-count":34,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[1998,6]]},"abstract":"<jats:p> We generalize the results on \u03b1-complex traces from [14, 16] to the realm of concurrent automata. We show that the \u03b1-complex computations can be defined as elements of a compact, totally disconnected and complete topological semigroup containing the finite computations as a dense and discrete subspace. But in this semigroup it is not possible to define infinite products as limits of finite ones in a satisfactory way. Therefore, we define a second semigroup of restricted \u03b1-complex computations. The underlying set of this semigroup carries a metric such that it becomes compact and complete. Furthermore, the finite computations are a dense and discrete subset and the multiplication is uniformly continuous not on the whole semigroup but on the set of finite computations. Finally, here we can define infinite products as limits of finite ones. <\/jats:p>","DOI":"10.1142\/s021819679800017x","type":"journal-article","created":{"date-parts":[[2003,7,31]],"date-time":"2003-07-31T06:08:41Z","timestamp":1059631721000},"page":"327-362","source":"Crossref","is-referenced-by-count":0,"title":["Topology for Computations of Concurrent Automata"],"prefix":"10.1142","volume":"08","author":[{"given":"Dietrich","family":"Kuske","sequence":"first","affiliation":[{"name":"Institut f\u00fcr Algebra, Technische Universit\u00e4t Dresden, D-01062 Dresden, Germany"}]},{"given":"R. M.","family":"Shortt","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Wesleyan University, Middletown, Connecticut 06459-0128, USA"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"p_1","first-page":"0","volume":"6","author":"Aalbersberg I. J.","year":"1988","journal-title":"Theor. Comput. Sci."},{"key":"p_3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-08860-1_7"},{"key":"p_4","first-page":"449","author":"Borger E.","year":"1994","journal-title":"Amsterdam"},{"key":"p_5","first-page":"433","volume":"11","author":"Boudol G.","year":"1988","journal-title":"Info."},{"key":"p_7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56939-1_111"},{"key":"p_8","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00030-1"},{"key":"p_9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59042-0_97"},{"key":"p_10","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00012-6"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19600060105"},{"key":"p_14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0020791"},{"key":"p_16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57182-5_4"},{"key":"p_17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60084-1_59"},{"key":"p_18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54345-7_56"},{"key":"p_21","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032032"},{"key":"p_22","first-page":"389","volume":"3","author":"Droste M.","year":"1992","journal-title":"Sci."},{"key":"p_23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58201-0_84"},{"key":"p_24","first-page":"105","volume":"126","author":"Droste M.","year":"1996","journal-title":"Info. Comput."},{"key":"p_25","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00266-L"},{"key":"p_28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61377-3_41"},{"key":"p_30","first-page":"69","author":"Droste M.","year":"1993","journal-title":"Gordon and Breach"},{"key":"p_31","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56939-1_84"},{"key":"p_32","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55808-X_24"},{"key":"p_33","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0020789"},{"key":"p_34","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90080-Y"},{"key":"p_39","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017483"},{"key":"p_42","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013025"},{"key":"p_46","first-page":"6","volume":"9","author":"Nielsen M.","year":"1992","journal-title":"Theor. Comput. Science"},{"key":"p_47","first-page":"56","volume":"27","author":"Ochmariski E.","year":"1985","journal-title":"Comput. Science"},{"key":"p_48","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-19488-6_133"},{"key":"p_49","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032041"},{"key":"p_51","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(61)80020-X"},{"key":"p_52","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(65)90108-7"},{"key":"p_54","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0018344"},{"key":"p_55","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0018344"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S021819679800017X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T09:18:59Z","timestamp":1565169539000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S021819679800017X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,6]]},"references-count":34,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[1998,6]]}},"alternative-id":["10.1142\/S021819679800017X"],"URL":"https:\/\/doi.org\/10.1142\/s021819679800017x","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,6]]}}}