{"id":"https://openalex.org/W1483241283","doi":"https://doi.org/10.1023/a:1020561826073","title":"The Real-Time Process Algebra (RTPA)","display_name":"The Real-Time Process Algebra (RTPA)","publication_year":2002,"publication_date":"2002-12-01","ids":{"openalex":"https://openalex.org/W1483241283","doi":"https://doi.org/10.1023/a:1020561826073","mag":"1483241283"},"language":"en","primary_location":{"id":"doi:10.1023/a:1020561826073","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1020561826073","pdf_url":null,"source":{"id":"https://openalex.org/S104191512","display_name":"Annals of Software Engineering","issn_l":"1022-7091","issn":["1022-7091","1573-7489"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Software Engineering","raw_type":"journal-article"},"type":"article","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/A5012322217","display_name":"Yingxu Wang","orcid":"https://orcid.org/0000-0003-0445-3632"},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Yingxu Wang","raw_affiliation_strings":["Theoretical and Empirical Software Engineering Research Center (TESERC), Department of Electrical and Computer Engineering, University of Calgary, 2500 University Drive, NW, Calgary, AB, Canada, T2N 1N4","Theoretical and Empirical Software Engineering Research Center (TESERC), Department of Electrical and Computer Engineering, University of Calgary, 2500 University Drive, NW Calgary, AB, Canada T2N "],"affiliations":[{"raw_affiliation_string":"Theoretical and Empirical Software Engineering Research Center (TESERC), Department of Electrical and Computer Engineering, University of Calgary, 2500 University Drive, NW, Calgary, AB, Canada, T2N 1N4","institution_ids":["https://openalex.org/I168635309"]},{"raw_affiliation_string":"Theoretical and Empirical Software Engineering Research Center (TESERC), Department of Electrical and Computer Engineering, University of Calgary, 2500 University Drive, NW Calgary, AB, Canada T2N ","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5012322217"],"corresponding_institution_ids":["https://openalex.org/I168635309"],"apc_list":null,"apc_paid":null,"fwci":16.7081,"has_fulltext":false,"cited_by_count":275,"citation_normalized_percentile":{"value":0.99258768,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":"14","issue":"1-4","first_page":"235","last_page":"274"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13062","display_name":"Cognitive Computing and Networks","score":0.9983000159263611,"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"}},"topics":[{"id":"https://openalex.org/T13062","display_name":"Cognitive Computing and Networks","score":0.9983000159263611,"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/T10142","display_name":"Formal Methods in Verification","score":0.9957000017166138,"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.9824000000953674,"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.6839433312416077},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6162109971046448},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5943045616149902},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5657329559326172},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4536707401275635},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.44697415828704834},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.4434429705142975},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.4277052879333496},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4062439501285553},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.38543927669525146},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.2817096412181854},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10318434238433838}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6839433312416077},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6162109971046448},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5943045616149902},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5657329559326172},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4536707401275635},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.44697415828704834},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.4434429705142975},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.4277052879333496},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4062439501285553},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38543927669525146},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.2817096412181854},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10318434238433838},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1020561826073","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1020561826073","pdf_url":null,"source":{"id":"https://openalex.org/S104191512","display_name":"Annals of Software Engineering","issn_l":"1022-7091","issn":["1022-7091","1573-7489"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.4099999964237213,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W119570465","https://openalex.org/W169685043","https://openalex.org/W619447540","https://openalex.org/W1248316247","https://openalex.org/W1481654441","https://openalex.org/W1498424248","https://openalex.org/W1503973138","https://openalex.org/W1517015850","https://openalex.org/W1552411465","https://openalex.org/W1558437246","https://openalex.org/W1587275578","https://openalex.org/W1588335385","https://openalex.org/W1601810723","https://openalex.org/W1602114053","https://openalex.org/W1946608631","https://openalex.org/W2037230951","https://openalex.org/W2045294308","https://openalex.org/W2077815947","https://openalex.org/W2102970660","https://openalex.org/W2109962961","https://openalex.org/W2110846749","https://openalex.org/W2129479919","https://openalex.org/W2138549619","https://openalex.org/W2151520617","https://openalex.org/W2163801789","https://openalex.org/W2176300081","https://openalex.org/W2500079794","https://openalex.org/W2532032684","https://openalex.org/W2570648097","https://openalex.org/W3104323850","https://openalex.org/W3144368627","https://openalex.org/W4251789093","https://openalex.org/W6606908634","https://openalex.org/W6628710591","https://openalex.org/W6636083370","https://openalex.org/W6660114033","https://openalex.org/W6675314665"],"related_works":["https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W2799231486","https://openalex.org/W2016051366","https://openalex.org/W12544170","https://openalex.org/W1568529421","https://openalex.org/W2204176978","https://openalex.org/W2106008526","https://openalex.org/W2125373133","https://openalex.org/W2279377564"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":7},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":9},{"year":2014,"cited_by_count":9},{"year":2013,"cited_by_count":10},{"year":2012,"cited_by_count":37}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}