{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T16:30:12Z","timestamp":1757781012719},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430636"},{"type":"electronic","value":"9783540455233"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45523-x_7","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T22:15:24Z","timestamp":1179267324000},"page":"123-133","source":"Crossref","is-referenced-by-count":42,"title":["Toward a Formal Macroset Theory"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Kudlek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Mart\u00edn-Vide","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gheorghe","family":"P\u0102un","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0167-739X(88)90012-X","volume":"4","author":"J.P. Ban\u0103tre","year":"1988","unstructured":"J.P. Ban\u0103tre, A. Coutant, D. Le Metayer, A parallel machine for multiset transformationand its programming style, Future Generation Computer Systems, 4 (1988),133\u2013144.","journal-title":"Future Generation Computer Systems"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0167-6423(90)90044-E","volume":"15","author":"J.P. Ban\u0103tre","year":"1990","unstructured":"J.P. Ban\u0103tre, D. Le Metayer, The Gamma model and its discipline of programming,Science of Computer Programming, 15 (1990), 55\u201377.","journal-title":"Science of Computer Programming"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"J. P. Ban\u0103tre, D. Le Metayer, Gamma and the chemical reaction model: ten yearsafter, Coordination Programming: Mechanisms, Models and Semantics, ImperialCollege Press, 1996.","DOI":"10.1142\/9781848161023_0001"},{"key":"7_CR4","volume-title":"The Lambda Calculus; Its Syntaxand Semantics","author":"H.P. Barendregt","year":"1984","unstructured":"H.P. Barendregt, The Lambda Calculus; Its Syntaxand Semantics, North-Holland, Amsterdam, 1984."},{"issue":"4","key":"7_CR5","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1142\/S0129054197000240","volume":"8","author":"T. Basten","year":"1997","unstructured":"T. Basten, Parsing partially ordered multisets, Intern. J. Found. Computer Sci.,8, 4 (1997), 379\u2013407.","journal-title":"Intern. J. Found. Computer Sci."},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"G. Berry, G. Boudol, The chemical abstract machine, Theoretical Computer Sci.,96 (1992), 217\u2013248.","journal-title":"Theoretical Computer Sci."},{"key":"7_CR7","unstructured":"A. Colmerauer, Equations and inequalities on finite and finite trees, Proc. of Second Intern. Conf. on Fifth Generation Computer Systems, Tokyo, 1984, 85\u201399."},{"issue":"2","key":"7_CR8","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF02575679","volume":"13","author":"S. Crespi-Reghizzi","year":"1976","unstructured":"S. Crespi-Reghizzi, D. Mandrioli, Commutative Grammars, Calcolo, 13, 2 (1976),173\u2013189.","journal-title":"Calcolo"},{"key":"7_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-74932-2","volume-title":"Regulated Rewriting in Formal Language Theory","author":"J. Dassow","year":"1989","unstructured":"J. Dassow, Gh. P\u0103un, Regulated Rewriting in Formal Language Theory, Springer-Verlag, Berlin, 1989."},{"key":"7_CR10","first-page":"101","volume":"2","author":"J. Dassow","year":"1997","unstructured":"J. Dassow, Gh P\u0103un, A. Salomaa, Grammars with Controlled Derivations, in:Handbook of Formal Languages, vol. 2, p 101\u2013154, Springer-Verlag, 1997.","journal-title":"Grammars with Controlled Derivations"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"S. Ginsburg, The Mathematical Theory of Context-free Languages, McGraw Hill,1966.","DOI":"10.1145\/321312.321318"},{"issue":"2\u20133","key":"7_CR12","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0304-3975(88)90124-7","volume":"61","author":"J.L. Gischer","year":"1988","unstructured":"J.L. Gischer, The equational theory of pomsets, Theoretical Computer Sci., 61, 2\u20133(1988), 199\u2013224.","journal-title":"Theoretical Computer Sci."},{"key":"7_CR13","unstructured":"J.S. Golan, The Theory of Semirings with Application in Mathematics and TheoreticalComputer Science, Longman Scientific and Technical, 1992."},{"key":"7_CR14","first-page":"77","volume-title":"Systems and ComputerScience","author":"S. Gorn","year":"1967","unstructured":"S. Gorn, Explicit definitions and linguistic dominoes, in Systems and ComputerScience (J. Hart, S. Takasu, eds.), Univ. of Toronto Press, Toronto, 1967, 77\u2013115."},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0019-9958(83)80022-9","volume":"57","author":"D.T. Hunyh","year":"1983","unstructured":"D.T. Hunyh, Commutative grammars: The complexity of uniform word problem,Inform. Control, 57 (1983), 21\u201339.","journal-title":"Inform. Control"},{"key":"7_CR16","unstructured":"J. Kortelainen, Properties of trios and AFLs with bounded or commutative generators,Mathematics, University of Oulu, No. 53, 1980."},{"key":"7_CR17","unstructured":"W. Kuich, A. Salomaa, Semirings, Automata, Languages, EATCS Monographs onTheoretical Computer Science 5, Springer-Verlag, Berlin"},{"key":"7_CR18","first-page":"29","volume":"11","author":"M. Latteux","year":"1977","unstructured":"M. Latteux, C\u00f4nes rationnels commutativement clos, R.A.I.R.O., 11, 1 (1977),29\u201351.","journal-title":"R.A.I.R.O."},{"key":"7_CR19","unstructured":"M. Latteux, Langages commutatifs, Publications de Laboratoire de Calcul del\u2019Universit\u00e9 des Sciences et Techniques de Lille, May 1978."},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1016\/0022-0000(79)90039-4","volume":"18","author":"M. Latteux","year":"1979","unstructured":"M. Latteux, C\u00f4nes rationnels commutatifs, Journal of Computer System Sciences,18 (1979), 307\u2013333.","journal-title":"Journal of Computer System Sciences"},{"key":"7_CR21","unstructured":"S. Miyamoto, Fuzzy multisets and application to rough approximation of fuzzysets, Techn. Rep. Inst. of Inform. Sciences and Electronics, Univ. of Tsukuba,1SE-TR-96-136, June 1996, 1\u201310."},{"key":"7_CR22","first-page":"4","volume":"8","author":"S. Miyamoto","year":"1996","unstructured":"S. Miyamoto, Basic operations on fuzzy multisets, J. of Japan Soc. of Fuzzy Theoryand Systems, 8, 4 (1996).","journal-title":"J. of Japan Soc. of Fuzzy Theoryand Systems"},{"key":"7_CR23","unstructured":"S. Miyamoto, Fuzzy multisets with in finite collections of memberships, Proc. 7thIntern. Fuzzy Systems Ass. World. Congress (IFSA\u201997), June 1997, Prague, vol. I,61\u201366."},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0165-0114(90)90127-R","volume":"34","author":"B. Li","year":"1990","unstructured":"B. Li, Fuzzy bags and applications, Fuzzy Sets and Systems, 34 (1990), 61\u201371.","journal-title":"Fuzzy Sets and Systems"},{"key":"7_CR25","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"Gh. P\u0103un","year":"2000","unstructured":"Gh. P\u0103un, Computing with membranes, Journal of Computer and System Sciences,61, 1 (2000), 108\u2013143","journal-title":"Journal of Computer and System Sciences"},{"issue":"Febr.","key":"7_CR26","first-page":"139","volume":"67","author":"Gh. P\u0103un","year":"1999","unstructured":"Gh. P\u0103un, Computing with membranes. An introduction, Bulletin of the EATCS,67 (Febr. 1999), 139\u2013152.","journal-title":"Bulletin of the EATCS"},{"key":"7_CR27","unstructured":"Gh. P\u0103un, Computing with membranes (P systems): Twenty six researchtopics, Auckland University, CDMTCS Report No 119, 2000( http:\/\/www.cs.auckland.ac.nz\/CDMTCS )."},{"key":"7_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03563-4","volume-title":"DNA Computing. New ComputingParadigms","author":"Gh. P\u0103un","year":"1998","unstructured":"Gh. P\u0103un, G. Rozenberg, A. Salomaa, DNA Computing. New ComputingParadigms, Springer-Verlag, Heidelberg, 1998."},{"volume-title":"Handbook of Formal Languages","year":"1997","key":"7_CR29","unstructured":"G. Rozenberg, A. Salomaa, eds., Handbook of Formal Languages, 3 volumes,Springer-Verlag, Berlin, 1997."},{"key":"7_CR30","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/BF02471142","volume":"1","author":"Y. Suzuki","year":"1997","unstructured":"Y. Suzuki, H. Tanaka, Symbolic chemical system based on abstract rewriting systemand its behavior pattern, Artificial Life Robotics, 1 (1997), 211\u2013219.","journal-title":"Artificial Life Robotics"},{"key":"7_CR31","unstructured":"Y. Suzuki, H. Tanaka, Chemical evolution among artificial proto-cells, Proc. of Artificial Life VIII Conf., MIT Press, 2000"},{"key":"7_CR32","unstructured":"A. Syropoulos, A note on multi-sets, basic pairs and the chemical abstract machine,manuscript, 2000."},{"key":"7_CR33","unstructured":"A. Syropoulos, Fuzzy sets and fuzzy multisets as Chu spaces, manuscript, 2000."},{"key":"7_CR34","unstructured":"A. Syropoulos, Multisets and Chu Spaces, PhDThesis, Univ. of Xanti, Greece, inpreparation."},{"key":"7_CR35","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1080\/03081078608934952","volume":"13","author":"R. R. Yager","year":"1986","unstructured":"R. R. Yager, On the theory of bags, Intern. J. General Systems, 13 (1986), 23\u201337.","journal-title":"Intern. J. General Systems"}],"container-title":["Lecture Notes in Computer Science","Multiset Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45523-X_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T20:53:12Z","timestamp":1556398392000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45523-X_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430636","9783540455233"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-45523-x_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}