{"id":"https://openalex.org/W2004947025","doi":"https://doi.org/10.1007/978-3-540-73196-2_15","title":"Verifying Erlang/OTP Components in \u03bcCRL","display_name":"Verifying Erlang/OTP Components in \u03bcCRL","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W2004947025","doi":"https://doi.org/10.1007/978-3-540-73196-2_15","mag":"2004947025"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-73196-2_15","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-73196-2_15","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/A5088132899","display_name":"Qiang Guo","orcid":"https://orcid.org/0000-0001-8003-3942"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Qiang Guo","raw_affiliation_strings":["Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello Street, S1 4DP, UK","Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello Street, S1 4DP, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello Street, S1 4DP, UK","institution_ids":["https://openalex.org/I91136226"]},{"raw_affiliation_string":"Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello Street, S1 4DP, UK#TAB#","institution_ids":["https://openalex.org/I91136226"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5088132899"],"corresponding_institution_ids":["https://openalex.org/I91136226"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.3643,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.82144305,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"227","last_page":"246"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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.9994000196456909,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9980999827384949,"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.8749271035194397},{"id":"https://openalex.org/keywords/erlang","display_name":"Erlang (programming language)","score":0.8466663956642151},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3750278353691101},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.1076536476612091}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8749271035194397},{"id":"https://openalex.org/C82484044","wikidata":"https://www.wikidata.org/wiki/Q334879","display_name":"Erlang (programming language)","level":3,"score":0.8466663956642151},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3750278353691101},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.1076536476612091}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-73196-2_15","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-73196-2_15","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W114470091","https://openalex.org/W1481749898","https://openalex.org/W1519721122","https://openalex.org/W1564715825","https://openalex.org/W1584322803","https://openalex.org/W1817873823","https://openalex.org/W1972404788","https://openalex.org/W2004320552","https://openalex.org/W2015640848","https://openalex.org/W2057663649","https://openalex.org/W2113610950","https://openalex.org/W2124478662","https://openalex.org/W2235903980","https://openalex.org/W2340102009","https://openalex.org/W2340735175","https://openalex.org/W2899705369","https://openalex.org/W2913459036","https://openalex.org/W3215981430","https://openalex.org/W4244719572"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1518714595","https://openalex.org/W2179534325","https://openalex.org/W121452686","https://openalex.org/W4232016220","https://openalex.org/W3193352093","https://openalex.org/W1518945670","https://openalex.org/W2145406432","https://openalex.org/W2096747805","https://openalex.org/W2132325017"],"abstract_inverted_index":null,"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}