{"id":"https://openalex.org/W4380634649","doi":"https://doi.org/10.1007/978-3-031-35361-1_9","title":"Caos: A Reusable Scala Web Animator of\u00a0Operational Semantics","display_name":"Caos: A Reusable Scala Web Animator of\u00a0Operational Semantics","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4380634649","doi":"https://doi.org/10.1007/978-3-031-35361-1_9"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-35361-1_9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-35361-1_9","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-04673808/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045860912","display_name":"Jos\u00e9 Proen\u00e7a","orcid":"https://orcid.org/0000-0003-0971-8919"},"institutions":[{"id":"https://openalex.org/I83863532","display_name":"Polytechnic Institute of Porto","ror":"https://ror.org/04988re48","country_code":"PT","type":"education","lineage":["https://openalex.org/I83863532"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Jos\u00e9 Proen\u00e7a","raw_affiliation_strings":["CISTER, ISEP, Polytechnic Institute of Porto, Porto, Portugal"],"raw_orcid":"https://orcid.org/0000-0003-0971-8919","affiliations":[{"raw_affiliation_string":"CISTER, ISEP, Polytechnic Institute of Porto, Porto, Portugal","institution_ids":["https://openalex.org/I83863532"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050052796","display_name":"Luc Edixhoven","orcid":"https://orcid.org/0000-0002-6011-9535"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Luc Edixhoven","raw_affiliation_strings":["CWI, Amsterdam, The Netherlands","Open University, Heerlen, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-6011-9535","affiliations":[{"raw_affiliation_string":"CWI, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Open University, Heerlen, The Netherlands","institution_ids":["https://openalex.org/I7876267"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5045860912"],"corresponding_institution_ids":["https://openalex.org/I83863532"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.4877,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.93362199,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"163","last_page":"171"},"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.9988999962806702,"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.9988999962806702,"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.9984999895095825,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9947999715805054,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8999061584472656},{"id":"https://openalex.org/keywords/scala","display_name":"Scala","score":0.8670938014984131},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7073419094085693},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5972670316696167},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4142882525920868},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.3494824469089508},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3489380180835724},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.34464308619499207},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.14854151010513306}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8999061584472656},{"id":"https://openalex.org/C109701466","wikidata":"https://www.wikidata.org/wiki/Q460584","display_name":"Scala","level":3,"score":0.8670938014984131},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7073419094085693},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5972670316696167},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4142882525920868},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.3494824469089508},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3489380180835724},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.34464308619499207},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.14854151010513306}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-031-35361-1_9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-35361-1_9","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-04673808v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04673808","pdf_url":"https://inria.hal.science/hal-04673808/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"25th International Conference on Coordination Languages and Models (COORDINATION), Jun 2023, Lisbon, Portugal. pp.163-171, ⟨10.1007/978-3-031-35361-1_9⟩","raw_type":"Conference papers"},{"id":"pmh:oai:cwi.nl:33266","is_oa":false,"landing_page_url":"https://ir.cwi.nl/pub/33266","pdf_url":null,"source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:research.ou.nl:publications/013ab6f2-42f9-4e2b-8749-d6f12a625448","is_oa":false,"landing_page_url":"https://research.ou.nl/en/publications/013ab6f2-42f9-4e2b-8749-d6f12a625448","pdf_url":null,"source":{"id":"https://openalex.org/S4406922485","display_name":"Open University of the Netherlands Research Portal","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":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proen\u00e7a, J & Edixhoven, L 2023, Caos : A Reusable Scala Web Animator of Operational Semantics. in S-S Jongmans & A Lopes (eds), Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. vol. 13908, Springer, Cham, Lecture Notes in Computer Science, vol. 13908, pp. 163-171, COORDINATION 2023, Lisbon, Portugal, 19/06/23. https://doi.org/10.1007/978-3-031-35361-1_9","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-04673808v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-04673808","pdf_url":"https://inria.hal.science/hal-04673808/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"25th International Conference on Coordination Languages and Models (COORDINATION), Jun 2023, Lisbon, Portugal. pp.163-171, ⟨10.1007/978-3-031-35361-1_9⟩","raw_type":"Conference papers"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.550000011920929}],"awards":[{"id":"https://openalex.org/G1854751798","display_name":"Verification and Validation of Automated Systems\u2019 Safety and Security","funder_award_id":"ECSEL/0016/2019","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G3574973028","display_name":null,"funder_award_id":"UIDB/04234/2020","funder_id":"https://openalex.org/F4320323642","funder_display_name":"Minist\u00e9rio da Ci\u00eancia, Tecnologia e Ensino Superior"},{"id":"https://openalex.org/G5157446074","display_name":"Research Centre in Real-Time and Embedded Computing Systems","funder_award_id":"UIDB/04234/2020","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G563821146","display_name":null,"funder_award_id":"876852","funder_id":"https://openalex.org/F4320327207","funder_display_name":"Electronic Components and Systems for European Leadership"},{"id":"https://openalex.org/G7025176336","display_name":null,"funder_award_id":"876852","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7872908177","display_name":"Quantitative methods for cyber-physical programming: reasoning precisely about imprecisions in cyber-physical behaviour","funder_award_id":"PTDC/CCI-COM/4280/2021","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G7996065590","display_name":null,"funder_award_id":"C645463824-00000063","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320323642","display_name":"Minist\u00e9rio da Ci\u00eancia, Tecnologia e Ensino Superior","ror":"https://ror.org/045b9pr88"},{"id":"https://openalex.org/F4320327207","display_name":"Electronic Components and Systems for European Leadership","ror":null},{"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":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4380634649.pdf"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W1576770735","https://openalex.org/W1991052229","https://openalex.org/W2166423024","https://openalex.org/W2191031914","https://openalex.org/W2902910824","https://openalex.org/W2911960176","https://openalex.org/W2931334490","https://openalex.org/W2944259035","https://openalex.org/W3082634688","https://openalex.org/W3097774502","https://openalex.org/W3100825141","https://openalex.org/W3108626146","https://openalex.org/W4290649661","https://openalex.org/W4312992230","https://openalex.org/W4313192756","https://openalex.org/W4367628285","https://openalex.org/W6950334699","https://openalex.org/W6967113967"],"related_works":["https://openalex.org/W3016342375","https://openalex.org/W795970866","https://openalex.org/W593478746","https://openalex.org/W3194225004","https://openalex.org/W2150010249","https://openalex.org/W2534451013","https://openalex.org/W171936820","https://openalex.org/W2160196023","https://openalex.org/W2156426055","https://openalex.org/W1487966966"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1}],"updated_date":"2026-06-12T08:23:45.883708","created_date":"2025-10-10T00:00:00"}