{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:16:28Z","timestamp":1761610588965,"version":"build-2065373602"},"reference-count":24,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2020,2,18]],"date-time":"2020-02-18T00:00:00Z","timestamp":1581984000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.1016\/j.entcs.2020.02.004","type":"journal-article","created":{"date-parts":[[2020,3,26]],"date-time":"2020-03-26T08:19:09Z","timestamp":1585210749000},"page":"43-60","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"special_numbering":"C","title":["Introducing Synchrony in Fuzzy Automata"],"prefix":"10.1016","volume":"348","author":[{"given":"Leandro","family":"Gomes","sequence":"first","affiliation":[]},{"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[]},{"given":"Luis Soares","family":"Barbosa","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.entcs.2020.02.004_br0010","series-title":"Proc. Int. Conf. on Man and Computer","first-page":"148","article-title":"Fuzzy languages and their relation to human and machine intelligence","author":"Zadeh","year":"1996"},{"key":"10.1016\/j.entcs.2020.02.004_br0020","series-title":"Fundamentals of Computation Theory","first-page":"72","article-title":"On the average size of glushkov and equation automata for KAT expressions","volume":"vol. 8070","author":"Broda","year":"2013"},{"issue":"2","key":"10.1016\/j.entcs.2020.02.004_br0030","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/j.ijar.2004.08.001","article-title":"New directions in fuzzy automata","volume":"38","author":"Doostfatemeh","year":"2005","journal-title":"Int. J. Approx. Reasoning"},{"key":"10.1016\/j.entcs.2020.02.004_br0040","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1016\/j.mbs.2017.05.012","article-title":"Applying differential dynamic logic to reconfigurable biological networks","volume":"291","author":"Figueiredo","year":"2017","journal-title":"Mathematical Biosciences"},{"year":"2018","author":"Gomes","series-title":"Generalising KAT to verify weighted computations","key":"10.1016\/j.entcs.2020.02.004_br0050"},{"year":"2003","author":"Hopcroft","series-title":"Introduction to automata theory, languages, and computation \u2013 international edition","key":"10.1016\/j.entcs.2020.02.004_br0060"},{"key":"10.1016\/j.entcs.2020.02.004_br0070","series-title":"Automata Studies","first-page":"3","article-title":"Representation of events in nerve nets and finite automata","author":"Kleene","year":"1956"},{"key":"10.1016\/j.entcs.2020.02.004_br0080","series-title":"Mathematical Foundations of Computer Science 1990","first-page":"26","article-title":"On Kleene algebras and closed semirings","volume":"vol. 452","author":"Kozen","year":"1990"},{"issue":"4","key":"10.1016\/j.entcs.2020.02.004_br0090","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1016\/0020-0255(69)90025-5","article-title":"Note on fuzzy languages","volume":"1","author":"Lee","year":"1969","journal-title":"Inf. Sci."},{"issue":"1","key":"10.1016\/j.entcs.2020.02.004_br0100","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1016\/j.fss.2005.04.004","article-title":"Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids","volume":"156","author":"Li","year":"2005","journal-title":"Fuzzy Sets and Systems"},{"issue":"4","key":"10.1016\/j.entcs.2020.02.004_br0110","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1109\/TSMCB.2002.1018761","article-title":"Modeling and control of fuzzy discrete event systems","volume":"32","author":"Lin","year":"2002","journal-title":"IEEE Trans. Systems, Man, and Cybernetics, Part B"},{"issue":"5","key":"10.1016\/j.entcs.2020.02.004_br0120","first-page":"292","article-title":"Lexical analysis with a simple finite- fuzzy-automaton model","volume":"1","author":"Mateescu","year":"1995","journal-title":"J. UCS"},{"key":"10.1016\/j.entcs.2020.02.004_br0130","article-title":"A Calculus of Communicating Systems","volume":"vol. 92","author":"Milner","year":"1980"},{"key":"10.1016\/j.entcs.2020.02.004_br0140","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","article-title":"Calculi for synchrony and asynchrony","volume":"25","author":"Milner","year":"1983","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.entcs.2020.02.004_br0150","series-title":"Turing, Computing and Communication","first-page":"1","author":"Milner","year":"2006"},{"year":"2002","author":"Mordeson","series-title":"Fuzzy automata and languages: theory and applications","key":"10.1016\/j.entcs.2020.02.004_br0160"},{"issue":"1","key":"10.1016\/j.entcs.2020.02.004_br0170","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1142\/S1469026801000068","article-title":"Learning of fuzzy automata","volume":"1","author":"Pedrycz","year":"2001","journal-title":"International Journal of Computational Intelligence and Applications"},{"issue":"7","key":"10.1016\/j.entcs.2020.02.004_br0180","doi-asserted-by":"crossref","first-page":"608","DOI":"10.1016\/j.jlap.2010.07.009","article-title":"Synchronous Kleene algebra","volume":"79","author":"Prisacariu","year":"2010","journal-title":"J. Log. Algebr. Program."},{"issue":"3","key":"10.1016\/j.entcs.2020.02.004_br0190","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1016\/S0019-9958(63)90290-0","article-title":"Probabilistic automata","volume":"6","author":"Rabin","year":"1963","journal-title":"Information and Control"},{"issue":"2","key":"10.1016\/j.entcs.2020.02.004_br0200","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BF00370348","article-title":"A deontic logic of action","volume":"41","author":"Segerberg","year":"1982","journal-title":"Studia Logica"},{"key":"10.1016\/j.entcs.2020.02.004_br0210","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.fss.2012.01.007","article-title":"Construction of fuzzy automata from fuzzy regular expressions","volume":"199","author":"Stamenkovic","year":"2012","journal-title":"Fuzzy Sets and Systems"},{"year":"1968","author":"von Wright","series-title":"An Essay in Deontic Logic and the General Theory of Action with a Bibliography of Deontic and Imperative Logic","key":"10.1016\/j.entcs.2020.02.004_br0220"},{"key":"10.1016\/j.entcs.2020.02.004_br0230","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TSSC.1969.300263","article-title":"A formulation of fuzzy automata and its application as a model of learning systems","volume":"5","author":"Wee","year":"1969","journal-title":"IEEE Trans. Systems Science and Cybernetics"},{"issue":"5","key":"10.1016\/j.entcs.2020.02.004_br0240","doi-asserted-by":"crossref","first-page":"640","DOI":"10.1109\/TFUZZ.2002.803497","article-title":"A formal model of computing with words","volume":"10","author":"Ying","year":"2002","journal-title":"IEEE Trans. Fuzzy Systems"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066120300049?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066120300049?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:11:47Z","timestamp":1761610307000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066120300049"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3]]},"references-count":24,"alternative-id":["S1571066120300049"],"URL":"https:\/\/doi.org\/10.1016\/j.entcs.2020.02.004","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2020,3]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Introducing Synchrony in Fuzzy Automata","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.entcs.2020.02.004","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2020 The Author(s). Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}