{"id":"https://openalex.org/W2073781357","doi":"https://doi.org/10.1016/s1571-0661(04)80643-1","title":"Towards a theory of mathematical operational semantics","display_name":"Towards a theory of mathematical operational semantics","publication_year":2003,"publication_date":"2003-07-01","ids":{"openalex":"https://openalex.org/W2073781357","doi":"https://doi.org/10.1016/s1571-0661(04)80643-1","mag":"2073781357"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80643-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80643-1","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)80643-1","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082619162","display_name":"John Power","orcid":"https://orcid.org/0000-0002-3816-8509"},"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":"John Power","raw_affiliation_strings":["Laboratory for the Foundations of Computer Science, School of Informatics, University of Edinburgh King's Buildings, Edinburgh EH9 3JZ, SCOTLAND","Laboratory for the Foundations of Computer Science, School of Informatics, University of Edinburgh, King's Buildings, Edinburgh EH9 3JZ, Scotland#TAB#"],"affiliations":[{"raw_affiliation_string":"Laboratory for the Foundations of Computer Science, School of Informatics, University of Edinburgh King's Buildings, Edinburgh EH9 3JZ, SCOTLAND","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"Laboratory for the Foundations of Computer Science, School of Informatics, University of Edinburgh, King's Buildings, Edinburgh EH9 3JZ, Scotland#TAB#","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5082619162"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":2.2843,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.8948019,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"82","issue":"1","first_page":"257","last_page":"272"},"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.9965000152587891,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9965000152587891,"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.9922999739646912,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9807999730110168,"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/operational-semantics","display_name":"Operational semantics","score":0.9043929576873779},{"id":"https://openalex.org/keywords/generality","display_name":"Generality","score":0.8251661062240601},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6643617153167725},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5721383094787598},{"id":"https://openalex.org/keywords/well-founded-semantics","display_name":"Well-founded semantics","score":0.5376767516136169},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.5006608963012695},{"id":"https://openalex.org/keywords/computational-semantics","display_name":"Computational semantics","score":0.4994533061981201},{"id":"https://openalex.org/keywords/action-semantics","display_name":"Action semantics","score":0.45624107122421265},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40631502866744995},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36373740434646606},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.32039403915405273}],"concepts":[{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.9043929576873779},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.8251661062240601},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6643617153167725},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5721383094787598},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.5376767516136169},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.5006608963012695},{"id":"https://openalex.org/C200065993","wikidata":"https://www.wikidata.org/wiki/Q3954981","display_name":"Computational semantics","level":4,"score":0.4994533061981201},{"id":"https://openalex.org/C150607116","wikidata":"https://www.wikidata.org/wiki/Q4677421","display_name":"Action semantics","level":5,"score":0.45624107122421265},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40631502866744995},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36373740434646606},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.32039403915405273},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(04)80643-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80643-1","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)80643-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80643-1","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/W258022877","https://openalex.org/W1503973138","https://openalex.org/W1563339455","https://openalex.org/W2046125711","https://openalex.org/W2057843304","https://openalex.org/W2057895129","https://openalex.org/W2075406361","https://openalex.org/W2079655821","https://openalex.org/W2089549471","https://openalex.org/W2101032471","https://openalex.org/W2136660485","https://openalex.org/W2164625502","https://openalex.org/W2886203768","https://openalex.org/W6630104300","https://openalex.org/W7053504691"],"related_works":["https://openalex.org/W91938043","https://openalex.org/W1975908952","https://openalex.org/W1487472891","https://openalex.org/W1493950382","https://openalex.org/W2348616540","https://openalex.org/W2070801544","https://openalex.org/W2072493788","https://openalex.org/W4233868614","https://openalex.org/W1508065823","https://openalex.org/W1958334269"],"abstract_inverted_index":{"Turi":[0],"and":[1,27,70,99,165],"Plotkin":[2],"gave":[3],"a":[4,9,19,38,56,161],"precise":[5],"mathematical":[6,20,39],"formulation":[7,40],"of":[8,11,31,33,41,43,64,73,128,130,143,160,163,167],"notion":[10],"structural":[12,50,149],"operational":[13,21,51,58,84,150],"semantics":[14],"in":[15,75,152,156],"their":[16,65,88,109,131],"paper":[17,138],"\u201cTowards":[18],"semantics.\u201d":[22],"Starting":[23],"from":[24],"that":[25,34,94,98],"definition":[26,110,132],"at":[28,125],"the":[29,44,62,79,83,126,144],"level":[30,127],"generality":[32,129],"definition,":[35],"we":[36],"give":[37],"some":[42],"basic":[45,145],"constructions":[46,124,146],"one":[47,67,95,116],"makes":[48],"with":[49,148],"semantics.":[52,85],"In":[53,86],"particular,":[54],"given":[55],"single-step":[57],"semantics,":[59,151],"as":[60],"is":[61,92,101,111],"spirit":[63],"work,":[66],"composes":[68],"transitions":[69,74,164],"considers":[71],"streams":[72],"order":[76,157],"to":[77,104,112,118,121,158],"study":[78],"dynamics":[80],"induced":[81],"by":[82],"all":[87],"leading":[89],"examples,":[90],"it":[91,100],"obvious":[93,102],"can":[96],"do":[97,105],"how":[103],"it.":[106],"But":[107],"if":[108],"be":[113,119],"taken":[114],"seriously,":[115],"needs":[117],"able":[120],"make":[122],"such":[123],"rather":[133],"than":[134],"case-by-case.":[135],"So":[136],"this":[137],"does":[139],"so":[140],"for":[141],"several":[142],"associated":[147],"particular":[153],"those":[154],"required":[155],"speak":[159],"stream":[162],"hence":[166],"dynamics.":[168]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}