{"id":"https://openalex.org/W2121539168","doi":"https://doi.org/10.1007/3-540-58468-4_165","title":"Verification of an audio control protocol","display_name":"Verification of an audio control protocol","publication_year":1994,"publication_date":"1994-01-01","ids":{"openalex":"https://openalex.org/W2121539168","doi":"https://doi.org/10.1007/3-540-58468-4_165","mag":"2121539168"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-58468-4_165","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-58468-4_165","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://ir.cwi.nl/pub/5116/5116D.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041594703","display_name":"D.J.B. Bosscher","orcid":null},"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"]},{"id":"https://openalex.org/I736929005","display_name":"College of Western Idaho","ror":"https://ror.org/05sfzsk90","country_code":"US","type":"education","lineage":["https://openalex.org/I736929005"]}],"countries":["NL","US"],"is_corresponding":true,"raw_author_name":"Doeko Bosscher","raw_affiliation_strings":["CWI, P.O. Box 94079, 1090, GB Amsterdam, The Netherlands","CWI"],"affiliations":[{"raw_affiliation_string":"CWI, P.O. Box 94079, 1090, GB Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"CWI","institution_ids":["https://openalex.org/I736929005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090297054","display_name":"Indra Polak","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"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Indra Polak","raw_affiliation_strings":["Department of Philosophy, Utrecht University, P.O. Box 80126, 3508, TC Utrecht, The Netherlands","Utrecht university >  >  >  >"],"affiliations":[{"raw_affiliation_string":"Department of Philosophy, Utrecht University, P.O. Box 80126, 3508, TC Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Utrecht university >  >  >  >","institution_ids":["https://openalex.org/I193662353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001955028","display_name":"Frits Vaandrager","orcid":"https://orcid.org/0000-0003-3955-1910"},"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"]},{"id":"https://openalex.org/I736929005","display_name":"College of Western Idaho","ror":"https://ror.org/05sfzsk90","country_code":"US","type":"education","lineage":["https://openalex.org/I736929005"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL","US"],"is_corresponding":false,"raw_author_name":"Frits Vaandrager","raw_affiliation_strings":["CWI, P.O. Box 94079, 1090, GB Amsterdam, The Netherlands","Programming Research Group, University of Amsterdam, Kruislaan 403, 1098, SJ Amsterdam, The Netherlands","University of Amsterdam","CWI"],"affiliations":[{"raw_affiliation_string":"CWI, P.O. Box 94079, 1090, GB Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Programming Research Group, University of Amsterdam, Kruislaan 403, 1098, SJ Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"University of Amsterdam","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"CWI","institution_ids":["https://openalex.org/I736929005"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5041594703"],"corresponding_institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I736929005"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":16.214,"has_fulltext":true,"cited_by_count":80,"citation_normalized_percentile":{"value":0.99689602,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"170","last_page":"192"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9987999796867371,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.7151868343353271},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6546802520751953},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5944632291793823},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5570933818817139},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5251407623291016},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4822981357574463},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.43571579456329346},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.42962777614593506},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39354774355888367},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37570491433143616},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3238959312438965},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17221862077713013},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.14038541913032532}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7151868343353271},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6546802520751953},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5944632291793823},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5570933818817139},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5251407623291016},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4822981357574463},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.43571579456329346},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.42962777614593506},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39354774355888367},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37570491433143616},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3238959312438965},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17221862077713013},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.14038541913032532},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1007/3-540-58468-4_165","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-58468-4_165","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:cwi:oai:cwi.nl:5116","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/5116","pdf_url":"https://ir.cwi.nl/pub/5116/5116D.pdf","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.28.8420","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.8420","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cwi.nl/ftp/CWIreports/AP/CS-R9445.ps.Z","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.53.7182","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.7182","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.rug.nl/~indra/CS-R9445.ps.Z","raw_type":"text"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/0590b4a1-06a2-43c8-91d1-fbf226636d48","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/verification-of-an-audio-control-protocol(0590b4a1-06a2-43c8-91d1-fbf226636d48).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bosscher, D J B, Polak, I & Vaandrager, F W 1994, Verification of an Audio Control Protocol. in W P Roever, H Langmaack & J Vytopil (eds), Proceedings of the Third International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Lubeck, Germany, September 1994. Lecture Notes in Computer Science, no. 863, Berlin, pp. 170-192.","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:dare.uva.nl:publications/0590b4a1-06a2-43c8-91d1-fbf226636d48","is_oa":false,"landing_page_url":"http://dare.uva.nl/personal/pure/en/publications/verification-of-an-audio-control-protocol(0590b4a1-06a2-43c8-91d1-fbf226636d48).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bosscher, D J B, Polak, I & Vaandrager, F W 1994, Verification of an Audio Control Protocol. in W P Roever, H Langmaack & J Vytopil (eds), Proceedings of the Third International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Lubeck, Germany, September 1994. Lecture Notes in Computer Science, no. 863, Berlin, pp. 170-192.","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/0590b4a1-06a2-43c8-91d1-fbf226636d48","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/verification-of-an-audio-control-protocol(0590b4a1-06a2-43c8-91d1-fbf226636d48).html","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":"Proceedings of the Third International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Lubeck, Germany, September 1994, 170 - 192","raw_type":"info:eu-repo/semantics/bookpart"}],"best_oa_location":{"id":"pmh:cwi:oai:cwi.nl:5116","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/5116","pdf_url":"https://ir.cwi.nl/pub/5116/5116D.pdf","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2121539168.pdf"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W3820865","https://openalex.org/W59365162","https://openalex.org/W1507695589","https://openalex.org/W1550678396","https://openalex.org/W1559935097","https://openalex.org/W1582882984","https://openalex.org/W1587275578","https://openalex.org/W1658016212","https://openalex.org/W1755579963","https://openalex.org/W1796678419","https://openalex.org/W1823037702","https://openalex.org/W1964727056","https://openalex.org/W1995691455","https://openalex.org/W2000302396","https://openalex.org/W2021607222","https://openalex.org/W2076513239","https://openalex.org/W2098228838","https://openalex.org/W2122645481","https://openalex.org/W2129023849","https://openalex.org/W2133939589","https://openalex.org/W2153945968","https://openalex.org/W2264491443","https://openalex.org/W2328819335","https://openalex.org/W2613892803","https://openalex.org/W2791172910","https://openalex.org/W4247437618","https://openalex.org/W6635273122","https://openalex.org/W6638678098","https://openalex.org/W6678129293"],"related_works":["https://openalex.org/W2953113086","https://openalex.org/W1552191998","https://openalex.org/W2056825861","https://openalex.org/W3097218026","https://openalex.org/W4390481443","https://openalex.org/W2765989158","https://openalex.org/W2952737788","https://openalex.org/W4226455345","https://openalex.org/W2746280673","https://openalex.org/W2152996796"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}