{"id":"https://openalex.org/W4400223213","doi":"https://doi.org/10.46298/lmcs-20(3:2)2024","title":"Simulations for Event-Clock Automata","display_name":"Simulations for Event-Clock Automata","publication_year":2024,"publication_date":"2024-07-02","ids":{"openalex":"https://openalex.org/W4400223213","doi":"https://doi.org/10.46298/lmcs-20(3:2)2024"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-20(3:2)2024","is_oa":true,"landing_page_url":"http://dx.doi.org/10.46298/lmcs-20(3:2)2024","pdf_url":"https://lmcs.episciences.org/13861/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":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/13861/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075643695","display_name":"S Akshay","orcid":null},"institutions":[{"id":"https://openalex.org/I162827531","display_name":"Indian Institute of Technology Bombay","ror":"https://ror.org/02qyf5152","country_code":"IN","type":"education","lineage":["https://openalex.org/I162827531"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"S Akshay","raw_affiliation_strings":["Department of Computer Science and Engineering, Indian Institute of Technology Bombay, Mumbai, India"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Indian Institute of Technology Bombay, Mumbai, India","institution_ids":["https://openalex.org/I162827531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064833291","display_name":"Paul Gastin","orcid":"https://orcid.org/0000-0002-1313-7722"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Paul Gastin","raw_affiliation_strings":["Universit\u00e9 Paris-Saclay, ENS Paris-Saclay, CNRS, LMF, 91190, Gif-sur-Yvette, France","CNRS, ReLaX, IRL 2000, Siruseri, India"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay, ENS Paris-Saclay, CNRS, LMF, 91190, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I277688954","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"CNRS, ReLaX, IRL 2000, Siruseri, India","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050246753","display_name":"R Govind","orcid":null},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]},{"id":"https://openalex.org/I162827531","display_name":"Indian Institute of Technology Bombay","ror":"https://ror.org/02qyf5152","country_code":"IN","type":"education","lineage":["https://openalex.org/I162827531"]}],"countries":["IN","SE"],"is_corresponding":false,"raw_author_name":"R Govind","raw_affiliation_strings":["Uppsala University, Sweden","Department of Computer Science and Engineering, Indian Institute of Technology Bombay, Mumbai, India"],"affiliations":[{"raw_affiliation_string":"Uppsala University, Sweden","institution_ids":["https://openalex.org/I123387679"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, Indian Institute of Technology Bombay, Mumbai, India","institution_ids":["https://openalex.org/I162827531"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015473608","display_name":"B Srivathsan","orcid":null},"institutions":[{"id":"https://openalex.org/I19149307","display_name":"Chennai Mathematical Institute","ror":"https://ror.org/04zp24820","country_code":"IN","type":"education","lineage":["https://openalex.org/I19149307"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"B Srivathsan","raw_affiliation_strings":["Chennai Mathematical Institute, India","CNRS, ReLaX, IRL 2000, Siruseri, India"],"affiliations":[{"raw_affiliation_string":"Chennai Mathematical Institute, India","institution_ids":["https://openalex.org/I19149307"]},{"raw_affiliation_string":"CNRS, ReLaX, IRL 2000, Siruseri, India","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5075643695"],"corresponding_institution_ids":["https://openalex.org/I162827531"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.07130125,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 20, 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/T11005","display_name":"Radiation Effects in Electronics","score":0.982200026512146,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.982200026512146,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10472","display_name":"Semiconductor materials and devices","score":0.9751999974250793,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9677000045776367,"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/computer-science","display_name":"Computer science","score":0.7588395476341248},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5551139712333679},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.4663013517856598},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3613938093185425},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3559992015361786},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32041269540786743},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06881693005561829}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7588395476341248},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5551139712333679},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4663013517856598},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3613938093185425},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3559992015361786},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32041269540786743},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06881693005561829},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.46298/lmcs-20(3:2)2024","is_oa":true,"landing_page_url":"http://dx.doi.org/10.46298/lmcs-20(3:2)2024","pdf_url":"https://lmcs.episciences.org/13861/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:DiVA.org:uu-541458","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-541458","pdf_url":"https://uu.diva-portal.org/smash/get/diva2:1909770/FULLTEXT01","source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-05052201v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05052201","pdf_url":"https://hal.science/hal-05052201/document","source":{"id":"https://openalex.org/S4406922466","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Logical Methods in Computer Science, 2024, 23 (3), pp.2. ⟨10.46298/LMCS-20(3:2)2024⟩","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:4a220c457cee47d6a0ead05f896d4e31","is_oa":true,"landing_page_url":"https://doaj.org/article/4a220c457cee47d6a0ead05f896d4e31","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","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 20, Issue 3 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-20(3:2)2024","is_oa":true,"landing_page_url":"http://dx.doi.org/10.46298/lmcs-20(3:2)2024","pdf_url":"https://lmcs.episciences.org/13861/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/G4018744250","display_name":null,"funder_award_id":"Technology","funder_id":"https://openalex.org/F4320320719","funder_display_name":"Department of Science and Technology, Ministry of Science and Technology, India"},{"id":"https://openalex.org/G4412498071","display_name":null,"funder_award_id":"India","funder_id":"https://openalex.org/F4320320719","funder_display_name":"Department of Science and Technology, Ministry of Science and Technology, India"},{"id":"https://openalex.org/G6771488830","display_name":null,"funder_award_id":"Technology","funder_id":"https://openalex.org/F4320334771","funder_display_name":"Science and Engineering Research Board"},{"id":"https://openalex.org/G6851345361","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6876561401","display_name":null,"funder_award_id":"ANR-18","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7246439838","display_name":null,"funder_award_id":"ANR-18-CE40-0015","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7982243557","display_name":null,"funder_award_id":"MTR/2018/000744","funder_id":"https://openalex.org/F4320334771","funder_display_name":"Science and Engineering Research Board"}],"funders":[{"id":"https://openalex.org/F4320313934","display_name":"Institut national de recherche en informatique et en automatique (INRIA)","ror":"https://ror.org/02kvxyf05"},{"id":"https://openalex.org/F4320320719","display_name":"Department of Science and Technology, Ministry of Science and Technology, India","ror":"https://ror.org/0101xrq71"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320321027","display_name":"Indo-French Centre for the Promotion of Advanced Research","ror":"https://ror.org/017aem598"},{"id":"https://openalex.org/F4320323448","display_name":"Indian Institute of Technology Bombay","ror":"https://ror.org/02qyf5152"},{"id":"https://openalex.org/F4320334771","display_name":"Science and Engineering Research Board","ror":"https://ror.org/03ffdsr55"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4400223213.pdf","grobid_xml":"https://content.openalex.org/works/W4400223213.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W1482233117","https://openalex.org/W1514904193","https://openalex.org/W1515421996","https://openalex.org/W1544012959","https://openalex.org/W1569695710","https://openalex.org/W1864649459","https://openalex.org/W1891690172","https://openalex.org/W1977308797","https://openalex.org/W2046894268","https://openalex.org/W2070002955","https://openalex.org/W2083964867","https://openalex.org/W2091971051","https://openalex.org/W2100271265","https://openalex.org/W2142718416","https://openalex.org/W2150220388","https://openalex.org/W2169586608","https://openalex.org/W2253126574","https://openalex.org/W2767365245","https://openalex.org/W2810202096","https://openalex.org/W2960098606","https://openalex.org/W2965049185","https://openalex.org/W3111877809","https://openalex.org/W3184529758","https://openalex.org/W4300022261","https://openalex.org/W4310500482","https://openalex.org/W4384471535"],"related_works":["https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2053286651","https://openalex.org/W2181743346","https://openalex.org/W2187401768","https://openalex.org/W2181413294","https://openalex.org/W2989452537","https://openalex.org/W2052122378","https://openalex.org/W2544423928","https://openalex.org/W2062023542"],"abstract_inverted_index":{"Event-clock":[0],"automata":[1,10,114,119,181,214],"(ECA)":[2],"are":[3,20],"a":[4,66,89,135,150],"well-known":[5],"semantic":[6],"subclass":[7,68,178],"of":[8,39,58,69,85,100,169,179,226],"timed":[9,25,30,113,213,227],"(TA)":[11],"which":[12,205],"enjoy":[13],"admirable":[14],"theoretical":[15],"properties,":[16],"e.g.,":[17],"determinizability,":[18],"and":[19,50,81,216],"practically":[21],"useful":[22],"to":[23,54,88,116,154],"capture":[24],"specifications.":[26],"However,":[27],"unlike":[28],"for":[29,36,73,79,97,143,159,164,174,221],"automata,":[31,161,176,197],"there":[32],"exist":[33],"no":[34],"implementations":[35,72,102],"checking":[37],"non-emptiness":[38],"event-clock":[40,118,160,180,196],"automata.":[41,228],"As":[42],"ECAs":[43],"contain":[44],"special":[45],"prophecy":[46,185],"clocks":[47],"that":[48,139,173,182],"guess":[49],"maintain":[51],"the":[52,55,83,98,104,112,117,132,156,177,202,207],"time":[53],"next":[56],"occurrence":[57],"specific":[59],"events,":[60],"they":[61],"cannot":[62,75],"be":[63,76],"seen":[64],"as":[65],"syntactic":[67],"TA.":[70],"Therefore,":[71],"TA":[74,92],"directly":[77],"used":[78,220],"ECAs,":[80],"moreover":[82],"translation":[84],"an":[86],"ECA":[87,101],"semantically":[90],"equivalent":[91],"is":[93,103,172,206],"expensive.":[94],"Another":[95],"reason":[96],"lack":[99],"difficulty":[105,122],"in":[106,111,129,212,223],"adapting":[107],"zone-based":[108,152],"algorithms,":[109],"critical":[110],"setting,":[115],"setting.":[120],"This":[121],"was":[123],"studied":[124],"by":[125],"Geeraerts":[126],"et":[127],"al.":[128],"2011,":[130],"where":[131],"authors":[133],"proposed":[134],"zone":[136,141],"enumeration":[137],"procedure":[138],"uses":[140],"extrapolations":[142],"finiteness.":[144,165],"In":[145],"this":[146],"article,":[147],"we":[148,187],"propose":[149],"different":[151],"algorithm":[153,200],"solve":[155],"reachability":[157],"problem":[158],"using":[162],"simulations":[163],"A":[166],"surprising":[167],"consequence":[168],"our":[170,198],"result":[171],"event-predicting":[175],"only":[183],"use":[184],"clocks,":[186],"obtain":[188],"finiteness":[189],"even":[190],"without":[191],"any":[192],"simulations.":[193],"For":[194],"general":[195],"new":[199],"exploits":[201],"G-simulation":[203],"framework,":[204],"coarsest":[208],"known":[209],"simulation":[210],"relation":[211],"literature,":[215],"has":[217],"been":[218],"recently":[219],"advances":[222],"other":[224],"extensions":[225]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}