{"id":"https://openalex.org/W1901596531","doi":"https://doi.org/10.1007/978-3-540-79707-4_14","title":"Analysis of a Session-Layer Protocol in mCRL2","display_name":"Analysis of a Session-Layer Protocol in mCRL2","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W1901596531","doi":"https://doi.org/10.1007/978-3-540-79707-4_14","mag":"1901596531"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-79707-4_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-79707-4_14","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5112510889","display_name":"Marko van Eekelen","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Marko van Eekelen","raw_affiliation_strings":["Institute for Computing and Information Sciences, Radboud Universiteit Nijmegen, P.O. Box 9102, 6500 HC, Nijmegen, The Netherlands","Institute for Computing and Information Sciences, Radboud Universiteit Nijmegen, Nijmegen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud Universiteit Nijmegen, P.O. Box 9102, 6500 HC, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud Universiteit Nijmegen, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038838113","display_name":"Stefan ten Hoedt","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stefan ten Hoedt","raw_affiliation_strings":["Aia Software B.V., P.O. Box 38025, 6503 AA, Nijmegen, The Netherlands","Aia Software B.V., Nijmegen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Aia Software B.V., P.O. Box 38025, 6503 AA, Nijmegen, The Netherlands","institution_ids":[]},{"raw_affiliation_string":"Aia Software B.V., Nijmegen, The Netherlands","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018914975","display_name":"Ren\u00e9 Schreurs","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ren\u00e9 Schreurs","raw_affiliation_strings":["Aia Software B.V., P.O. Box 38025, 6503 AA, Nijmegen, The Netherlands","Aia Software B.V., Nijmegen, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Aia Software B.V., P.O. Box 38025, 6503 AA, Nijmegen, The Netherlands","institution_ids":[]},{"raw_affiliation_string":"Aia Software B.V., Nijmegen, The Netherlands","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013170906","display_name":"Yaroslav S. Usenko","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]},{"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"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Yaroslav S. Usenko","raw_affiliation_strings":["Centrum voor Wiskunde Informatica, P.O. Box 94079, 1090 GB, Amsterdam, The Netherlands","Laboratory for Quality Software (LaQuSo), Technische Universiteit Eindhoven, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","Laboratory for Quality Software (LaQuSo), Technische Universiteit Eindhoven, Eindhoven, The Netherlands","Centrum voor Wiskunde Informatica, Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Centrum voor Wiskunde Informatica, P.O. Box 94079, 1090 GB, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Laboratory for Quality Software (LaQuSo), Technische Universiteit Eindhoven, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Laboratory for Quality Software (LaQuSo), Technische Universiteit Eindhoven, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Centrum voor Wiskunde Informatica, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5112510889"],"corresponding_institution_ids":["https://openalex.org/I145872427"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.7027,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.89389411,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"182","last_page":"199"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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.9990000128746033,"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"}},{"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8636031746864319},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.8128812313079834},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5770632028579712},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5747628211975098},{"id":"https://openalex.org/keywords/layer","display_name":"Layer (electronics)","score":0.5298214554786682},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.4871213436126709},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.48213860392570496},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4759392738342285},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44927796721458435},{"id":"https://openalex.org/keywords/source-lines-of-code","display_name":"Source lines of code","score":0.4377906322479248},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.4342370629310608},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.3488929271697998},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.33468693494796753},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.1140572726726532}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8636031746864319},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.8128812313079834},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5770632028579712},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5747628211975098},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.5298214554786682},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.4871213436126709},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.48213860392570496},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4759392738342285},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44927796721458435},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.4377906322479248},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.4342370629310608},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3488929271697998},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.33468693494796753},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.1140572726726532},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-540-79707-4_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-79707-4_14","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:pure.tue.nl:publications/c73fae5d-e3ca-444d-8070-cc4061128837","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/c73fae5d-e3ca-444d-8070-cc4061128837","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e 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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"van Eekelen, M, Hoedt, ten, S, Schreurs, R & Usenko, Y S 2008, Analysis of a session-layer protocol in mCRL2 : verification of a real-life industrial implementation. in S Leue & P Merino (eds), Formal Methods for Industrial Critical Systems (12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers). Lecture Notes in Computer Science, vol. 4916, Springer, Berlin, pp. 182-199. https://doi.org/10.1007/978-3-540-79707-4_14","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:tue:oai:pure.tue.nl:publications/c73fae5d-e3ca-444d-8070-cc4061128837","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/c73fae5d-e3ca-444d-8070-cc4061128837","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formal Methods for Industrial Critical Systems (12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers), 182 - 199","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W73531603","https://openalex.org/W103658893","https://openalex.org/W1487905539","https://openalex.org/W1509936845","https://openalex.org/W1511415216","https://openalex.org/W1582292473","https://openalex.org/W1593284044","https://openalex.org/W1600438913","https://openalex.org/W1812469182","https://openalex.org/W1901596531","https://openalex.org/W2026965951","https://openalex.org/W2060658093","https://openalex.org/W2093826986","https://openalex.org/W2128804846","https://openalex.org/W2131195907","https://openalex.org/W2136877520","https://openalex.org/W2137633808","https://openalex.org/W2159292690","https://openalex.org/W2235903980","https://openalex.org/W2505974374","https://openalex.org/W6634952462"],"related_works":["https://openalex.org/W1992074508","https://openalex.org/W2086523506","https://openalex.org/W2212955619","https://openalex.org/W3124296310","https://openalex.org/W19337650","https://openalex.org/W71376590","https://openalex.org/W2965077017","https://openalex.org/W2185084576","https://openalex.org/W2095803818","https://openalex.org/W2966450834"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-04-02T15:55:50.835912","created_date":"2016-06-24T00:00:00"}