{"id":"https://openalex.org/W2925427079","doi":"https://doi.org/10.1007/978-3-030-17184-1_24","title":"A Process Algebra for Link Layer Protocols","display_name":"A Process Algebra for Link Layer Protocols","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2925427079","doi":"https://doi.org/10.1007/978-3-030-17184-1_24","mag":"2925427079"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-17184-1_24","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17184-1_24","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17184-1_24.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":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17184-1_24.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Rob van Glabbeek","orcid":null},"institutions":[{"id":"https://openalex.org/I1292875679","display_name":"Commonwealth Scientific and Industrial Research Organisation","ror":"https://ror.org/03qn8fb07","country_code":"AU","type":"funder","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I4387156119"]},{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Rob van Glabbeek","raw_affiliation_strings":["Computer Science and Engineering, University of New South Wales, Sydney, Australia","Data61, CSIRO, Sydney, Australia"],"affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]},{"raw_affiliation_string":"Data61, CSIRO, Sydney, Australia","institution_ids":["https://openalex.org/I42894916","https://openalex.org/I1292875679"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Peter H\u00f6fner","orcid":null},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]},{"id":"https://openalex.org/I1292875679","display_name":"Commonwealth Scientific and Industrial Research Organisation","ror":"https://ror.org/03qn8fb07","country_code":"AU","type":"funder","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Peter H\u00f6fner","raw_affiliation_strings":["Computer Science and Engineering, University of New South Wales, Sydney, Australia","Data61, CSIRO, Sydney, Australia"],"affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]},{"raw_affiliation_string":"Data61, CSIRO, Sydney, Australia","institution_ids":["https://openalex.org/I42894916","https://openalex.org/I1292875679"]}]},{"author_position":"last","author":{"id":null,"display_name":"Michael Markl","orcid":null},"institutions":[{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]},{"id":"https://openalex.org/I179225836","display_name":"University of Augsburg","ror":"https://ror.org/03p14d497","country_code":"DE","type":"education","lineage":["https://openalex.org/I179225836"]},{"id":"https://openalex.org/I1292875679","display_name":"Commonwealth Scientific and Industrial Research Organisation","ror":"https://ror.org/03qn8fb07","country_code":"AU","type":"funder","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I4387156119"]}],"countries":["AU","DE"],"is_corresponding":false,"raw_author_name":"Michael Markl","raw_affiliation_strings":["Data61, CSIRO, Sydney, Australia","Institut f\u00fcr Informatik, Universit\u00e4t Augsburg, Augsburg, Germany"],"affiliations":[{"raw_affiliation_string":"Data61, CSIRO, Sydney, Australia","institution_ids":["https://openalex.org/I42894916","https://openalex.org/I1292875679"]},{"raw_affiliation_string":"Institut f\u00fcr Informatik, Universit\u00e4t Augsburg, Augsburg, Germany","institution_ids":["https://openalex.org/I179225836"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I1292875679","https://openalex.org/I31746571","https://openalex.org/I42894916"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.4906,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.61053316,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"668","last_page":"693"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.5568000078201294,"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.5568000078201294,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.15800000727176666,"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.04830000177025795,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.8708999752998352},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.6557999849319458},{"id":"https://openalex.org/keywords/frame","display_name":"Frame (networking)","score":0.6452000141143799},{"id":"https://openalex.org/keywords/link-layer","display_name":"Link layer","score":0.6326000094413757},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.614799976348877},{"id":"https://openalex.org/keywords/layer","display_name":"Layer (electronics)","score":0.5507000088691711},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5364999771118164},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4846999943256378}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.8708999752998352},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8592000007629395},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.6557999849319458},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.6452000141143799},{"id":"https://openalex.org/C12570599","wikidata":"https://www.wikidata.org/wiki/Q2891044","display_name":"Link layer","level":3,"score":0.6326000094413757},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.614799976348877},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.5507000088691711},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5364999771118164},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4846999943256378},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.460099995136261},{"id":"https://openalex.org/C2778753846","wikidata":"https://www.wikidata.org/wiki/Q6554239","display_name":"Link (geometry)","level":2,"score":0.4415000081062317},{"id":"https://openalex.org/C190793597","wikidata":"https://www.wikidata.org/wiki/Q189768","display_name":"Application layer","level":3,"score":0.4172999858856201},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.4171000123023987},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4129999876022339},{"id":"https://openalex.org/C19247436","wikidata":"https://www.wikidata.org/wiki/Q192727","display_name":"Physical layer","level":3,"score":0.39820000529289246},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.38359999656677246},{"id":"https://openalex.org/C113508815","wikidata":"https://www.wikidata.org/wiki/Q193446","display_name":"Packet switching","level":3,"score":0.3824999928474426},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3260999917984009},{"id":"https://openalex.org/C1173588","wikidata":"https://www.wikidata.org/wiki/Q6554294","display_name":"Link analysis","level":2,"score":0.31470000743865967},{"id":"https://openalex.org/C199668693","wikidata":"https://www.wikidata.org/wiki/Q1550329","display_name":"Collision detection","level":3,"score":0.2718000113964081},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.2694999873638153},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.26739999651908875}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-030-17184-1_24","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17184-1_24","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17184-1_24.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:arXiv.org:1907.13329","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1907.13329","pdf_url":"https://arxiv.org/pdf/1907.13329","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/fba780ba-eafe-439d-8c10-9e9fc9790715","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/fba780ba-eafe-439d-8c10-9e9fc9790715","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","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":"van Glabbeek, R, H\u00f6fner, P & Markl, M 2019, A Process Algebra for Link Layer Protocols. in L Caires (ed.), Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6\u201311, 2019, Proceedings. Lecture Notes in Computer Science, vol. 11423, Cham, pp. 668-693, 28th European Symposium on Programming, Prague, Czech Republic, 8/04/19. https://doi.org/10.1007/978-3-030-17184-1_24","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.ed.ac.uk:publications/fba780ba-eafe-439d-8c10-9e9fc9790715","is_oa":true,"landing_page_url":"https://link.springer.com/chapter/10.1007/978-3-030-17184-1_24","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"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":"van Glabbeek, R, H\u00f6fner, P & Markl, M 2019, A Process Algebra for Link Layer Protocols. in L Caires (ed.), Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6\u201311, 2019, Proceedings. Lecture Notes in Computer Science, vol. 11423, Cham, pp. 668-693, 28th European Symposium on Programming, Prague, Czech Republic, 8/04/19. https://doi.org/10.1007/978-3-030-17184-1_24","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:uni-augsburg.opus-bayern.de:115150","is_oa":true,"landing_page_url":"https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-1151500","pdf_url":null,"source":{"id":"https://openalex.org/S4306400930","display_name":"OPUS (Augsburg University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I119916105","host_organization_name":"Augsburg University","host_organization_lineage":["https://openalex.org/I119916105"],"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":null,"raw_type":"doc-type:conferenceobject"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-17184-1_24","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17184-1_24","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17184-1_24.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":[{"id":"https://openalex.org/F4320320386","display_name":"Commonwealth Scientific and Industrial Research Organisation","ror":"https://ror.org/03qn8fb07"},{"id":"https://openalex.org/F4320320875","display_name":"Deutscher Akademischer Austauschdienst","ror":"https://ror.org/039djdh30"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2925427079.pdf","grobid_xml":"https://content.openalex.org/works/W2925427079.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W1483980066","https://openalex.org/W1554767603","https://openalex.org/W1588042940","https://openalex.org/W1673008520","https://openalex.org/W1805999688","https://openalex.org/W1988873236","https://openalex.org/W1990328104","https://openalex.org/W2023808162","https://openalex.org/W2039139411","https://openalex.org/W2049318064","https://openalex.org/W2070157304","https://openalex.org/W2101269152","https://openalex.org/W2107144615","https://openalex.org/W2137013587","https://openalex.org/W2162598825","https://openalex.org/W2546429222","https://openalex.org/W2978663703","https://openalex.org/W4230482369","https://openalex.org/W4251402986"],"related_works":[],"abstract_inverted_index":{"We":[0,17],"propose":[1],"a":[2,10],"process":[3],"algebra":[4],"for":[5,13,23,57],"link":[6,24],"layer":[7,25],"protocols,":[8],"featuring":[9],"unique":[11],"mechanism":[12],"modelling":[14],"frame":[15],"collisions.":[16],"also":[18,80],"formalise":[19],"suitable":[20],"liveness":[21],"properties":[22],"protocols":[26],"specified":[27],"in":[28],"this":[29,77],"framework.":[30],"To":[31],"show":[32,66],"applicability":[33],"we":[34,65],"model":[35],"and":[36],"analyse":[37],"two":[38],"versions":[39],"of":[40],"the":[41,53,58,68,81,89],"Carrier-Sense":[42],"Multiple":[43],"Access":[44],"with":[45,70,85,97],"Collision":[46],"Avoidance":[47],"(CSMA/CA)":[48],"protocol.":[49],"Our":[50],"analysis":[51],"confirms":[52],"hidden":[54],"station":[55,83],"problem":[56,84],"version":[59,69],"without":[60],"virtual":[61,71],"carrier":[62,72],"sensing.":[63],"However,":[64],"that":[67],"sensing":[73],"not":[74,95],"only":[75],"overcomes":[76],"problem,":[78],"but":[79],"exposed":[82],"probability":[86,98],"1.":[87,99],"Yet":[88],"protocol":[90],"cannot":[91],"guarantee":[92],"packet":[93],"delivery,":[94],"even":[96]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2019-04-11T00:00:00"}