{"id":"https://openalex.org/W2015939621","doi":"https://doi.org/10.1016/0167-739x(92)90072-j","title":"Structural operational semantics for AKL","display_name":"Structural operational semantics for AKL","publication_year":1992,"publication_date":"1992-09-01","ids":{"openalex":"https://openalex.org/W2015939621","doi":"https://doi.org/10.1016/0167-739x(92)90072-j","mag":"2015939621"},"language":"en","primary_location":{"id":"doi:10.1016/0167-739x(92)90072-j","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0167-739x(92)90072-j","pdf_url":null,"source":{"id":"https://openalex.org/S186357190","display_name":"Future Generation Computer Systems","issn_l":"0167-739X","issn":["0167-739X","1872-7115"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Future Generation Computer Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090695078","display_name":"Seif Haridi","orcid":"https://orcid.org/0000-0002-6718-0144"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]},{"id":"https://openalex.org/I2800780207","display_name":"Swedish Institute","ror":"https://ror.org/022w3f533","country_code":"SE","type":"government","lineage":["https://openalex.org/I2800780207"]}],"countries":["NL","SE"],"is_corresponding":true,"raw_author_name":"Seif Haridi","raw_affiliation_strings":["Department of Computer Science, Utrecht University, P.O. Box 80089 3508 TB Utrecht, The Netherlands","Swedish Institute of Computer Science, Box 1263, S-164 28 Kista, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Utrecht University, P.O. Box 80089 3508 TB Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Swedish Institute of Computer Science, Box 1263, S-164 28 Kista, Sweden","institution_ids":["https://openalex.org/I2800780207"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042086290","display_name":"Sverker Janson","orcid":null},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]},{"id":"https://openalex.org/I2800780207","display_name":"Swedish Institute","ror":"https://ror.org/022w3f533","country_code":"SE","type":"government","lineage":["https://openalex.org/I2800780207"]}],"countries":["NL","SE"],"is_corresponding":false,"raw_author_name":"Sverker Janson","raw_affiliation_strings":["Department of Computer Science, Utrecht University, P.O. Box 80089 3508 TB Utrecht, The Netherlands","Swedish Institute of Computer Science, Box 1263, S-164 28 Kista, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Utrecht University, P.O. Box 80089 3508 TB Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Swedish Institute of Computer Science, Box 1263, S-164 28 Kista, Sweden","institution_ids":["https://openalex.org/I2800780207"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090842450","display_name":"Catuscia Palamidessi","orcid":"https://orcid.org/0000-0003-4597-7002"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]},{"id":"https://openalex.org/I2800780207","display_name":"Swedish Institute","ror":"https://ror.org/022w3f533","country_code":"SE","type":"government","lineage":["https://openalex.org/I2800780207"]}],"countries":["NL","SE"],"is_corresponding":false,"raw_author_name":"Catuscia Palamidessi","raw_affiliation_strings":["Centre for Mathematics and Computer Science, P.O. Box 4079, 1009 AB Amsterdam, The Netherlands","Department of Computer Science, Utrecht University, P.O. Box 80089 3508 TB Utrecht, The Netherlands","Swedish Institute of Computer Science, Box 1263, S-164 28 Kista, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Mathematics and Computer Science, P.O. Box 4079, 1009 AB Amsterdam, The Netherlands","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science, Utrecht University, P.O. Box 80089 3508 TB Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Swedish Institute of Computer Science, Box 1263, S-164 28 Kista, Sweden","institution_ids":["https://openalex.org/I2800780207"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5090695078"],"corresponding_institution_ids":["https://openalex.org/I193662353","https://openalex.org/I2800780207"],"apc_list":{"value":3000,"currency":"USD","value_usd":3000},"apc_paid":null,"fwci":1.0066,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.79601288,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"8","issue":"4","first_page":"409","last_page":"421"},"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.9983999729156494,"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.9983999729156494,"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.9916999936103821,"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/T10142","display_name":"Formal Methods in Verification","score":0.9872999787330627,"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.8478543758392334},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7161350250244141},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.6640322208404541},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.5522829294204712},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5481328368186951},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.5151375532150269},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4897770881652832},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4356825351715088},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40697014331817627},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12446531653404236}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8478543758392334},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7161350250244141},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6640322208404541},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.5522829294204712},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5481328368186951},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5151375532150269},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4897770881652832},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4356825351715088},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40697014331817627},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12446531653404236},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/0167-739x(92)90072-j","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0167-739x(92)90072-j","pdf_url":null,"source":{"id":"https://openalex.org/S186357190","display_name":"Future Generation Computer Systems","issn_l":"0167-739X","issn":["0167-739X","1872-7115"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Future Generation Computer Systems","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.21.1707","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.1707","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.sics.se/~sverker/public/papers/opsem.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.45.586","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.586","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.sics.se/pub/ps/papers/opsem.ps.gz","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W30151932","https://openalex.org/W174342753","https://openalex.org/W180996895","https://openalex.org/W1529806686","https://openalex.org/W1534223153","https://openalex.org/W1534457435","https://openalex.org/W1563855770","https://openalex.org/W1572884505","https://openalex.org/W1988095917","https://openalex.org/W2016462478","https://openalex.org/W2021519440","https://openalex.org/W2076248384","https://openalex.org/W2111277910","https://openalex.org/W2163058466","https://openalex.org/W6601274868","https://openalex.org/W6606981428","https://openalex.org/W6607444877","https://openalex.org/W6608894324","https://openalex.org/W6633722536","https://openalex.org/W6634188461","https://openalex.org/W6669718159","https://openalex.org/W6684007496"],"related_works":["https://openalex.org/W1999702466","https://openalex.org/W1481700938","https://openalex.org/W2741053223","https://openalex.org/W1493824320","https://openalex.org/W592311106","https://openalex.org/W4319165641","https://openalex.org/W2972366161","https://openalex.org/W4380901377","https://openalex.org/W1558467648","https://openalex.org/W2623701236"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}