{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:32Z","timestamp":1725663392890},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190202"},{"type":"electronic","value":"9783540389200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19020-1_32","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:55:37Z","timestamp":1330199737000},"page":"616-637","source":"Crossref","is-referenced-by-count":2,"title":["The shuffle bialgebra"],"prefix":"10.1007","author":[{"given":"David B.","family":"Benson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"32_CR1","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/0022-4049(75)90028-6","volume":"6","author":"M. A. Arbib","year":"1975","unstructured":"M. A. Arbib and E. B. Manes, Adjoint Machines, State-Behavior Machines, and Duality, J. Pure Appl. Alg. 6(1975), 313\u2013344.","journal-title":"J. Pure Appl. Alg."},{"key":"32_CR2","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/S0019-9958(84)80048-0","volume":"61","author":"M. Broy","year":"1984","unstructured":"M. Broy, Semantics of Communicating Processes, Inform. & Control 61(1984), 202\u2013241.","journal-title":"Inform. & Control"},{"key":"32_CR3","first-page":"421","volume-title":"Closed Categories","author":"S. Eilenberg","year":"1966","unstructured":"S. Eilenberg and G. M. Kelly, Closed Categories in Proc. Conf. Categorical Alg., La Jolla 1965, Springer-Verlag, New York, 1966, pp. 421\u2013562."},{"key":"32_CR4","doi-asserted-by":"crossref","first-page":"55","DOI":"10.2307\/1969820","volume":"58","author":"S. Eilenberg","year":"1953","unstructured":"S. Eilenberg & S. MacLane, On the Groups H (\u043f, n). I., Ann. of Math 58(1953), 55\u2013106.","journal-title":"Ann. of Math"},{"key":"32_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4886-6","volume-title":"Fairness","author":"N. Francez","year":"1986","unstructured":"N. Francez, Fairness, Springer-Verlag, New York, 1986."},{"key":"32_CR6","unstructured":"H. Gaifman and V. Pratt, Partial Order Models of Concurrency and the Computation of Functions, Proc. IEEE Symp. Logic in Comput. Sci., Ithaca, NY, 1987."},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"S. Ginsburg, The Mathematical Theory of Context-Free Languages, McGraw-Hill, 1966.","DOI":"10.1145\/321312.321318"},{"key":"32_CR8","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1145\/321281.321294","volume":"12","author":"S. Ginsburg","year":"1965","unstructured":"S. Ginsburg and E. H. Spanier, Mapping of Languages by Two-tape Devices, J. Assoc. Comput. Mach. 12(1965), 423\u2013434.","journal-title":"J. Assoc. Comput. Mach."},{"key":"32_CR9","unstructured":"J. L. Gischer, Partial Orders and the Axiomatic Theory of Shuffle, Stanford Univ. Report STAN-CS-84-1033."},{"key":"32_CR10","volume-title":"Category Theory","author":"H. Herrlich","year":"1979","unstructured":"H. Herrlich & G. Strecker, Category Theory, Heldermann-Verlag, Berlin, 1979."},{"key":"32_CR11","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1016\/0022-0000(83)90050-8","volume":"27","author":"R. J. Lorentz","year":"1983","unstructured":"R. J. Lorentz & D. B. Benson, Deterministic and Nondeterministic Flowchart Interpretations, J. Comput. Sys. Sci. 27(1983), 400\u2013433.","journal-title":"J. Comput. Sys. Sci."},{"key":"32_CR12","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1971","unstructured":"S. MacLane, Categories for the Working Mathematician, Springer-Verlag, New York, 1971."},{"key":"32_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-62029-4","volume-title":"Homology","author":"S. MacLane","year":"1963","unstructured":"S. MacLane, Homology, Academic Press, New York, 1963."},{"key":"32_CR14","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1016\/S0019-9958(84)80032-7","volume":"62","author":"M. Main","year":"1984","unstructured":"M. Main and D. B. Benson, Functional Behavior of Nondeterministic and Concurrent Programs, Inform. & Control 62(1984), 144\u2013189.","journal-title":"Inform. & Control"},{"key":"32_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9860-1","volume-title":"Algebraic Theories","author":"E. G. Manes","year":"1976","unstructured":"E. G. Manes, Algebraic Theories, Springer-Verlag, New York, 1976."},{"key":"32_CR16","first-page":"184","volume":"239","author":"E. G. Manes","year":"1986","unstructured":"E. G. Manes, Additive Domains, Springer-Verlag LNCS 239, 1986, 184\u2013195.","journal-title":"Springer-Verlag LNCS"},{"key":"32_CR17","first-page":"182","volume":"240","author":"E. G. Manes","year":"1986","unstructured":"E. G. Manes, Weakest Preconditions: Categorical Insights, Springer-Verlag LNCS 240, 1986, 182\u2013197.","journal-title":"Springer-Verlag LNCS"},{"key":"32_CR18","doi-asserted-by":"crossref","unstructured":"E. G. Manes, Assertional Categories, Third Workshop on Math. Found. Program. Semantics, Tulane, April 1987, These Proceedings.","DOI":"10.1007\/3-540-19020-1_5"},{"key":"32_CR19","unstructured":"M. Pfender, Universal Algebra in S-Monoidal Categories, Bericht Nr. 20, Mathematisches Institut, Univ. M\u00fcnchen, 1974."},{"key":"32_CR20","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"V. Pratt, Modeling Concurrency with Partial Orders, International J. Parallel Programming, 15(1986), 33\u201372.","journal-title":"International J. Parallel Programming"},{"key":"32_CR21","unstructured":"L. Redei, The Theory of Finitely Generated Commutative Semigroups, Pergammon Press, 1965."},{"key":"32_CR22","unstructured":"W. E. Riddle, Modelling and Analysis of Supervisor Systems, Ph.D. Thesis, Stanford Univ., 1972."},{"key":"32_CR23","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0096-0551(79)90008-0","volume":"4","author":"W. E. Riddle","year":"1979","unstructured":"W. E. Riddle, An Approach to Software System Behavior Description, Computer Languages 4(1979), 29\u201347.","journal-title":"Computer Languages"},{"key":"32_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6264-0","volume-title":"Automata-Theoretic Aspects of Formal Power Series","author":"A. Salomaa","year":"1978","unstructured":"A. Salomaa and M. Soittola, Automata-Theoretic Aspects of Formal Power Series, Springer-Verlag, New York, 1978."},{"key":"32_CR25","volume-title":"Algebraic Topology","author":"E. H. Spanier","year":"1966","unstructured":"E. H. Spanier, Algebraic Topology, McGraw-Hill Book Co., New York, 1966."},{"key":"32_CR26","volume-title":"Hopf Algebras","author":"M. Sweedler","year":"1969","unstructured":"M. Sweedler, Hopf Algebras, W. A. Benjamin, New York, 1969."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Language Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19020-1_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:07Z","timestamp":1605644167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}