{"id":"https://openalex.org/W4411493733","doi":"https://doi.org/10.46298/lmcs-21(2:25)2025","title":"Fractals from Regular Behaviours","display_name":"Fractals from Regular Behaviours","publication_year":2025,"publication_date":"2025-06-19","ids":{"openalex":"https://openalex.org/W4411493733","doi":"https://doi.org/10.46298/lmcs-21(2:25)2025"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-21(2:25)2025","doi":"https://doi.org/10.46298/lmcs-21(2:25)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(2:25)2025","pdf_url":"https://lmcs.episciences.org/15912/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","ccf-c","cwts-core","ddh","doaj","dongbi-d","jufo-1","norway-1","poland-70","russia-white-list-3","vabb-shw"],"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/15912/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087089457","display_name":"Todd Schmid","orcid":"https://orcid.org/0000-0002-9838-2363","observed_orcids":["https://orcid.org/0000-0002-9838-2363"]},"institutions":[{"id":"https://openalex.org/I131221577","display_name":"Bucknell University","ror":"https://ror.org/00fc1qt65","country_code":"US","type":"education","lineage":["https://openalex.org/I131221577"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Todd Schmid","raw_affiliation_strings":["Bucknell University , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Bucknell University , USA","institution_ids":["https://openalex.org/I131221577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024487259","display_name":"Victoria Noquez","orcid":"https://orcid.org/0000-0001-5517-0929","observed_orcids":["https://orcid.org/0000-0001-5517-0929"]},"institutions":[{"id":"https://openalex.org/I177081203","display_name":"Saint Mary's College of California","ror":"https://ror.org/01hgj5t98","country_code":"US","type":"education","lineage":["https://openalex.org/I177081203"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Victoria Noquez","raw_affiliation_strings":["St. Mary's College of California , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"St. Mary's College of California , USA","institution_ids":["https://openalex.org/I177081203"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028261970","display_name":"Lawrence S. Moss","orcid":"https://orcid.org/0000-0002-9908-5774","observed_orcids":["https://orcid.org/0000-0002-9908-5774"]},"institutions":[{"id":"https://openalex.org/I592451","display_name":"Indiana University","ror":"https://ror.org/01kg8sb98","country_code":"US","type":"education","lineage":["https://openalex.org/I592451"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lawrence S. Moss","raw_affiliation_strings":["300 , San Francisco , CA 94105 , USA , or Eisenacher Strasse 2 , 10777 Berlin , Germany","Indiana University , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"300 , San Francisco , CA 94105 , USA , or Eisenacher Strasse 2 , 10777 Berlin , Germany","institution_ids":[]},{"raw_affiliation_string":"Indiana University , USA","institution_ids":["https://openalex.org/I592451"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3731,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.79494778,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"Volume 21, Issue 2","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9735999703407288,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9735999703407288,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.009399999864399433,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.003000000026077032,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fractals","display_name":"fractals","score":0.8019999861717224},{"id":"https://openalex.org/keywords/iterated-function-systems","display_name":"iterated function systems","score":0.9570000171661377},{"id":"https://openalex.org/keywords/attractors","display_name":"attractors","score":0.8230000138282776},{"id":"https://openalex.org/keywords/process-calculus","display_name":"process algebra","score":0.8640000224113464},{"id":"https://openalex.org/keywords/contraction-operators","display_name":"contraction operators","score":0.9769999980926514},{"id":"https://openalex.org/keywords/self-similar-sets","display_name":"self-similar sets","score":0.8880000114440918},{"id":"https://openalex.org/keywords/invariant-measures","display_name":"invariant measures","score":0.9900000095367432},{"id":"https://openalex.org/keywords/trace-equivalence","display_name":"trace equivalence","score":0.7519999742507935},{"id":"https://openalex.org/keywords/godel-s-completeness-theorem","display_name":"completeness theorem","score":0.7300000190734863}],"concepts":[{"id":"https://openalex.org/C168460219","wikidata":"https://www.wikidata.org/wiki/Q1502167","display_name":"Iterated function system","level":3,"score":0.8744146823883057},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.660870373249054},{"id":"https://openalex.org/C40636538","wikidata":"https://www.wikidata.org/wiki/Q81392","display_name":"Fractal","level":2,"score":0.5938112735748291},{"id":"https://openalex.org/C198043062","wikidata":"https://www.wikidata.org/wiki/Q180953","display_name":"Metric space","level":2,"score":0.5079177021980286},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4945320785045624},{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.4750749468803406},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.44317278265953064},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.41522300243377686},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.129903644323349}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.46298/lmcs-21(2:25)2025","doi":"https://doi.org/10.46298/lmcs-21(2:25)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(2:25)2025","pdf_url":"https://lmcs.episciences.org/15912/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","ccf-c","cwts-core","ddh","doaj","dongbi-d","jufo-1","norway-1","poland-70","russia-white-list-3","vabb-shw"],"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2306.03894","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2306.03894","pdf_url":"https://arxiv.org/pdf/2306.03894","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:drops-oai.dagstuhl.de:18811","doi":null,"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2023.14","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol270-calco2023/LIPIcs.CALCO.2023.14/LIPIcs.CALCO.2023.14.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},{"id":"pmh:oai:doaj.org/article:5d240cf6945244e087aca625fef50a2b","doi":null,"is_oa":true,"landing_page_url":"https://doaj.org/article/5d240cf6945244e087aca625fef50a2b","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 21, Issue 2 (2025)","raw_type":"article"},{"id":"doi:10.48550/arxiv.2306.03894","doi":"https://doi.org/10.48550/arxiv.2306.03894","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2306.03894","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.4230/lipics.calco.2023.14","doi":"https://doi.org/10.4230/lipics.calco.2023.14","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.calco.2023.14","pdf_url":null,"source":{"id":"https://openalex.org/S4393917817","display_name":"Leibniz international proceedings in informatics","issn_l":"1868-8969","issn":["1868-8969"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["doaj","jufo-1","norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"doi:10.46298/lmcs-21(2:25)2025","doi":"https://doi.org/10.46298/lmcs-21(2:25)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(2:25)2025","pdf_url":"https://lmcs.episciences.org/15912/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","ccf-c","cwts-core","ddh","doaj","dongbi-d","jufo-1","norway-1","poland-70","russia-white-list-3","vabb-shw"],"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4411493733.pdf","grobid_xml":"https://content.openalex.org/works/W4411493733.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W259536784","https://openalex.org/W1582292473","https://openalex.org/W1971383138","https://openalex.org/W1982582912","https://openalex.org/W2013359037","https://openalex.org/W2034471616","https://openalex.org/W2061164145","https://openalex.org/W2088189323","https://openalex.org/W2091684791","https://openalex.org/W2092627867","https://openalex.org/W2100612170","https://openalex.org/W2101206446","https://openalex.org/W2137773821","https://openalex.org/W2159258685","https://openalex.org/W2163723056","https://openalex.org/W2169869634","https://openalex.org/W2343487034","https://openalex.org/W2606036170","https://openalex.org/W2802472755","https://openalex.org/W4211008702","https://openalex.org/W4212873186","https://openalex.org/W4214697395","https://openalex.org/W4253577938","https://openalex.org/W4299390900","https://openalex.org/W4383425433","https://openalex.org/W7110400268"],"related_works":["https://openalex.org/W1964327668","https://openalex.org/W2406059816","https://openalex.org/W2002220260","https://openalex.org/W4225641109","https://openalex.org/W2293333734","https://openalex.org/W7096402120","https://openalex.org/W7099040793","https://openalex.org/W1526707472","https://openalex.org/W7008553412","https://openalex.org/W7019310053"],"abstract_inverted_index":{"We":[0,55,80],"forge":[1],"connections":[2,83],"between":[3],"the":[4,37,42,44,65],"theory":[5],"of":[6,12,46,62,70,94],"fractal":[7,53,63],"sets":[8,76],"obtained":[9],"as":[10,28],"attractors":[11],"iterated":[13],"function":[14],"systems":[15],"and":[16,59,88,133],"process":[17,102,134],"calculi.":[18,103,135],"To":[19],"this":[20,95],"end,":[21],"we":[22,97,106,124],"reinterpret":[23],"Milner's":[24],"expressions":[25],"for":[26,40,111],"processes":[27],"contraction":[29],"operators":[30],"on":[31,67],"a":[32,57],"complete":[33,60],"metric":[34],"space.":[35],"When":[36],"space":[38],"is,":[39],"example,":[41,105],"plane,":[43],"denotations":[45],"fixed":[47],"point":[48],"terms":[49,68],"correspond":[50],"to":[51,84,89,121,130],"familiar":[52],"sets.":[54],"give":[56],"sound":[58],"axiomatization":[61],"equivalence,":[64],"congruence":[66],"consisting":[69],"pairs":[71],"that":[72],"construct":[73],"identical":[74],"self-similar":[75],"in":[77,114],"all":[78,93],"interpretations.":[79],"further":[81],"make":[82],"labelled":[85],"Markov":[86],"chains":[87],"invariant":[90],"measures.":[91],"In":[92,119],"work,":[96],"use":[98,107],"important":[99],"results":[100],"from":[101],"For":[104],"Rabinovich's":[108],"completeness":[109,117],"theorem":[110],"trace":[112],"equivalence":[113],"our":[115,122],"own":[116],"theorem.":[118],"addition":[120],"results,":[123],"also":[125],"raise":[126],"many":[127],"questions":[128],"related":[129],"both":[131],"fractals":[132]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2025-10-10T00:00:00"}