{"id":"https://openalex.org/W2784651223","doi":"https://doi.org/10.23638/lmcs-15(3:28)2019","title":"Higher-dimensional automata modeling shared-variable systems","display_name":"Higher-dimensional automata modeling shared-variable systems","publication_year":2019,"publication_date":"2019-09-06","ids":{"openalex":"https://openalex.org/W2784651223","doi":"https://doi.org/10.23638/lmcs-15(3:28)2019","mag":"2784651223"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-15(3:28)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(3:28)2019","pdf_url":"https://lmcs.episciences.org/5749/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,"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"},"type":"preprint","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/5749/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012954814","display_name":"Thomas Kahl","orcid":"https://orcid.org/0000-0003-4951-8866"},"institutions":[{"id":"https://openalex.org/I99682543","display_name":"University of Minho","ror":"https://ror.org/037wpkx04","country_code":"PT","type":"education","lineage":["https://openalex.org/I99682543"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Thomas Kahl","raw_affiliation_strings":["Centro de Matemtica , Universidade do Minho , Campus de Gualtar , 4710-057 Braga , Portugal CA 94105 , USA , or Eisenacher Strasse 2 , 10777 Berlin , Germany","Univ. of Minho"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro de Matemtica , Universidade do Minho , Campus de Gualtar , 4710-057 Braga , Portugal CA 94105 , USA , or Eisenacher Strasse 2 , 10777 Berlin , Germany","institution_ids":["https://openalex.org/I99682543"]},{"raw_affiliation_string":"Univ. of Minho","institution_ids":["https://openalex.org/I99682543"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5012954814"],"corresponding_institution_ids":["https://openalex.org/I99682543"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.0119619,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"Volume 15, Issue 3","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9987999796867371,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9980000257492065,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.8225194215774536},{"id":"https://openalex.org/keywords/coproduct","display_name":"Coproduct","score":0.6906515955924988},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6388202905654907},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.6274542212486267},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4621904790401459},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.4327632486820221},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.42254000902175903},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.404763400554657},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3435455858707428},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2171938121318817}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.8225194215774536},{"id":"https://openalex.org/C36259021","wikidata":"https://www.wikidata.org/wiki/Q692689","display_name":"Coproduct","level":2,"score":0.6906515955924988},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6388202905654907},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.6274542212486267},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4621904790401459},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.4327632486820221},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.42254000902175903},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.404763400554657},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3435455858707428},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2171938121318817},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.23638/lmcs-15(3:28)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(3:28)2019","pdf_url":"https://lmcs.episciences.org/5749/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,"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:1801.08451","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1801.08451","pdf_url":"https://arxiv.org/pdf/1801.08451","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:repositorium.sdum.uminho.pt:1822/61393","is_oa":true,"landing_page_url":"http://hdl.handle.net/1822/61393","pdf_url":"http://hdl.handle.net/1822/61393","source":{"id":"https://openalex.org/S4306400354","display_name":"Reposit\u00f3riUM (Universidade do Minho)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99682543","host_organization_name":"University of Minho","host_organization_lineage":["https://openalex.org/I99682543"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"mag:2784651223","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1801.08451","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:doaj.org/article:088d488828934eaa81ea2178111ea74f","is_oa":true,"landing_page_url":"https://doaj.org/article/088d488828934eaa81ea2178111ea74f","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"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 15, Issue 3 (2019)","raw_type":"article"},{"id":"pmh:oai:repositorium.uminho.pt:1822/61393","is_oa":true,"landing_page_url":"https://hdl.handle.net/1822/61393","pdf_url":null,"source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.48550/arxiv.1801.08451","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1801.08451","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:3105200521","is_oa":true,"landing_page_url":"http://repositorium.sdum.uminho.pt/bitstream/1822/61393/1/transHDA.pdf","pdf_url":null,"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,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":"Logical Methods in Computer Science","raw_type":null}],"best_oa_location":{"id":"doi:10.23638/lmcs-15(3:28)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(3:28)2019","pdf_url":"https://lmcs.episciences.org/5749/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,"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":[],"awards":[{"id":"https://openalex.org/G897206395","display_name":null,"funder_award_id":"UID/MAT/00013/2013","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"}],"funders":[{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2784651223.pdf","grobid_xml":"https://content.openalex.org/works/W2784651223.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W1487534524","https://openalex.org/W1494049105","https://openalex.org/W1498432697","https://openalex.org/W1506588809","https://openalex.org/W1966230673","https://openalex.org/W1986211726","https://openalex.org/W2022442264","https://openalex.org/W2110308671","https://openalex.org/W2270121558","https://openalex.org/W2439559863","https://openalex.org/W2949430683"],"related_works":["https://openalex.org/W983400305","https://openalex.org/W1537465387","https://openalex.org/W277366380","https://openalex.org/W29387851","https://openalex.org/W2368684504","https://openalex.org/W2963823488","https://openalex.org/W2127352596","https://openalex.org/W3103813054","https://openalex.org/W2900962466","https://openalex.org/W2566153859","https://openalex.org/W1847167086","https://openalex.org/W3147832687","https://openalex.org/W2152873074","https://openalex.org/W2184634081","https://openalex.org/W2916791794","https://openalex.org/W1490980615","https://openalex.org/W1603660579","https://openalex.org/W2110446158","https://openalex.org/W3126950249","https://openalex.org/W644012876"],"abstract_inverted_index":{"The":[0],"purpose":[1],"of":[2,27,38],"this":[3],"paper":[4],"is":[5,18,31,43],"to":[6,10],"provide":[7],"a":[8],"construction":[9],"model":[11],"shared-variable":[12],"systems":[13,30],"using":[14],"higher-dimensional":[15],"automata":[16],"which":[17],"compositional":[19],"in":[20],"the":[21,24,34,46],"sense":[22],"that":[23],"parallel":[25],"composition":[26],"completely":[28],"independent":[29],"modeled":[32],"by":[33,45],"standard":[35],"tensor":[36],"product":[37],"HDAs":[39],"and":[40],"nondeterministic":[41],"choice":[42],"represented":[44],"coproduct.":[47]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-25T08:17:42.794288","created_date":"2025-10-10T00:00:00"}