{"id":"https://openalex.org/W2066460909","doi":"https://doi.org/10.1016/s1571-0661(04)80498-5","title":"Rule Formats for Timed Processes","display_name":"Rule Formats for Timed Processes","publication_year":2002,"publication_date":"2002-11-01","ids":{"openalex":"https://openalex.org/W2066460909","doi":"https://doi.org/10.1016/s1571-0661(04)80498-5","mag":"2066460909"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80498-5","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80498-5","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)80498-5","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041453886","display_name":"Marco Kick","orcid":null},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Marco Kick","raw_affiliation_strings":["LFCS, Division of Informatics, University of Edinburgh Edinburgh EH9 3JZ, Scotland, UK"],"affiliations":[{"raw_affiliation_string":"LFCS, Division of Informatics, University of Edinburgh Edinburgh EH9 3JZ, Scotland, UK","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5041453886"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":0.6775,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.67848735,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"68","issue":"1","first_page":"12","last_page":"31"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/schematic","display_name":"Schematic","score":0.8007173538208008},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7066532373428345},{"id":"https://openalex.org/keywords/congruence","display_name":"Congruence (geometry)","score":0.7037809491157532},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5810990333557129},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.5697532892227173},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5049787163734436},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44649094343185425},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17256107926368713},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.054605960845947266}],"concepts":[{"id":"https://openalex.org/C192328126","wikidata":"https://www.wikidata.org/wiki/Q4514647","display_name":"Schematic","level":2,"score":0.8007173538208008},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7066532373428345},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.7037809491157532},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5810990333557129},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5697532892227173},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5049787163734436},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44649094343185425},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17256107926368713},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.054605960845947266},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(04)80498-5","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80498-5","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80498-5","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80498-5","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1543688617","https://openalex.org/W1559986400","https://openalex.org/W1563339455","https://openalex.org/W1855290378","https://openalex.org/W1966112122","https://openalex.org/W2057843304","https://openalex.org/W2079822631","https://openalex.org/W2089549471","https://openalex.org/W2101032471","https://openalex.org/W2101508170","https://openalex.org/W2106530373","https://openalex.org/W2118229393","https://openalex.org/W2886203768","https://openalex.org/W3104323850","https://openalex.org/W6664953711"],"related_works":["https://openalex.org/W2160196023","https://openalex.org/W2100934637","https://openalex.org/W2245685274","https://openalex.org/W2188386601","https://openalex.org/W2002931343","https://openalex.org/W1487966966","https://openalex.org/W3042312155","https://openalex.org/W1502311553","https://openalex.org/W2472677114","https://openalex.org/W2788308474"],"abstract_inverted_index":{"Building":[0],"on":[1,69],"previous":[2],"work":[3],"(15,8),":[4],"this":[5],"paper":[6],"describes":[7],"two":[8],"syntactic":[9],"ways":[10],"of":[11,41,76],"defining":[12],"\u2018well-behaved\u2019":[13],"operational":[14,29],"semantics":[15],"for":[16,31,99],"timed":[17,100],"processes.":[18,101],"In":[19],"both":[20],"cases,":[21],"the":[22],"semantic":[23],"rules":[24,30,59,87,98],"are":[25],"derived":[26],"from":[27],"abstract":[28,58,77],"behaviour":[32],"comonads":[33],"and":[34,72,88],"thus":[35],"ensure":[36],"congruence":[37],"results.":[38],"The":[39],"first":[40],"them,":[42],"a":[43,65,70],"light-weight":[44],"attempt":[45],"using":[46],"schematic":[47],"rules,":[48,78],"is":[49,82,89],"shown":[50],"to":[51,55],"be":[52],"sound,":[53],"i.e.,":[54,92],"indeed":[56],"induce":[57],"as":[60],"introduced":[61],"in":[62],"[8].":[63],"Then":[64],"second":[66],"format,":[67],"based":[68],"new":[71],"very":[73],"general":[74],"kind":[75],"comonadic":[79],"SOS":[80],"(CSOS),":[81],"presented":[83],"which":[84],"uses":[85],"meta":[86],"also":[90],"complete,":[91],"it":[93],"characterises":[94],"all":[95],"possible":[96],"CSOS":[97]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}