{"id":"https://openalex.org/W4402496261","doi":"https://doi.org/10.1007/978-3-031-71177-0_11","title":"Discourje: Run-Time Verification of\u00a0Communication Protocols in\u00a0Clojure \u2014 Live at\u00a0Last","display_name":"Discourje: Run-Time Verification of\u00a0Communication Protocols in\u00a0Clojure \u2014 Live at\u00a0Last","publication_year":2024,"publication_date":"2024-09-12","ids":{"openalex":"https://openalex.org/W4402496261","doi":"https://doi.org/10.1007/978-3-031-71177-0_11"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-71177-0_11","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-71177-0_11","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71177-0_11.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71177-0_11.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049418170","display_name":"Sung-Shik Jongmans","orcid":"https://orcid.org/0000-0002-4394-8745"},"institutions":[{"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":true,"raw_author_name":"Sung-Shik Jongmans","raw_affiliation_strings":["Open University of the Netherlands, Heerlen, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-4394-8745","affiliations":[{"raw_affiliation_string":"Open University of the Netherlands, Heerlen, The Netherlands","institution_ids":["https://openalex.org/I7876267"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5049418170"],"corresponding_institution_ids":["https://openalex.org/I7876267"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.9857,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.79162968,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"158","last_page":"166"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9951000213623047,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9918000102043152,"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/computer-science","display_name":"Computer science","score":0.8693783283233643},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5175296664237976},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3610144853591919}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8693783283233643},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5175296664237976},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3610144853591919}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-71177-0_11","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-71177-0_11","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71177-0_11.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:research.ou.nl:publications/5efedb4a-74d0-4182-b00b-34681d9cd267","is_oa":true,"landing_page_url":"https://research.ou.nl/en/publications/5efedb4a-74d0-4182-b00b-34681d9cd267","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Jongmans, S S 2025, Discourje : Run-Time Verification of\u00a0Communication Protocols in\u00a0Clojure \u2014 Live at\u00a0Last. in A Platzer, K Y Rozier, M Pradella & M Rossi (eds), Formal Methods - 26th International Symposium, FM 2024, Proceedings. Springer Science and Business Media Deutschland GmbH, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14934 LNCS, pp. 158-166, 26th International Symposium on Formal Methods, Milan, Italy, 9/09/24. https://doi.org/10.1007/978-3-031-71177-0_11","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-71177-0_11","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-71177-0_11","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71177-0_11.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4402496261.pdf","grobid_xml":"https://content.openalex.org/works/W4402496261.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W59370666","https://openalex.org/W1606177908","https://openalex.org/W1971736429","https://openalex.org/W1989371806","https://openalex.org/W1992135271","https://openalex.org/W1993575403","https://openalex.org/W2040105559","https://openalex.org/W2046261467","https://openalex.org/W2183621552","https://openalex.org/W2329205359","https://openalex.org/W2482080645","https://openalex.org/W2584381671","https://openalex.org/W2603624497","https://openalex.org/W2705915567","https://openalex.org/W2787969571","https://openalex.org/W2906701300","https://openalex.org/W2930652247","https://openalex.org/W2977532635","https://openalex.org/W3034717274","https://openalex.org/W3082446307","https://openalex.org/W3095737695","https://openalex.org/W3107309644","https://openalex.org/W3132548149","https://openalex.org/W3194793787","https://openalex.org/W3208692159","https://openalex.org/W4205907492","https://openalex.org/W4248818693","https://openalex.org/W4290792893","https://openalex.org/W4384154431","https://openalex.org/W4387211427","https://openalex.org/W6911463079"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Abstract":[0],"Multiparty":[1],"session":[2],"typing":[3],"(MPST)":[4],"is":[5,16,38],"a":[6],"formal":[7],"method":[8],"to":[9,17,21,35,72],"make":[10],"concurrent":[11],"programming":[12],"simpler.":[13],"The":[14,53],"idea":[15],"use":[18],"type":[19],"checking":[20],"automatically":[22],"prove":[23],"safety":[24,61],"(protocol":[25],"compliance)":[26],"and":[27],"liveness":[28,75],"(communication":[29],"deadlock":[30],"freedom)":[31],"of":[32,56,70],"implementations":[33],"relative":[34],"specifications.":[36],"Discourje":[37,57,71],"an":[39,68],"existing":[40],"run-time":[41],"verification":[42],"library":[43],"for":[44],"communication":[45],"protocols":[46],"in":[47],"Clojure,":[48],"based":[49],"on":[50],"dynamic":[51],"MPST.":[52],"original":[54],"version":[55],"can":[58],"detect":[59,73],"only":[60],"violations.":[62,76],"In":[63],"this":[64],"paper,":[65],"we":[66],"present":[67],"extension":[69],"also":[74]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-13T06:13:01.061226","created_date":"2025-10-10T00:00:00"}