{"id":"https://openalex.org/W4399745194","doi":"https://doi.org/10.1145/3672085","title":"A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems","display_name":"A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems","publication_year":2024,"publication_date":"2024-06-17","ids":{"openalex":"https://openalex.org/W4399745194","doi":"https://doi.org/10.1145/3672085"},"language":"en","primary_location":{"id":"doi:10.1145/3672085","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3672085","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3672085","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3672085","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083480819","display_name":"Manfred Broy","orcid":"https://orcid.org/0000-0003-2649-1752"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Manfred Broy","raw_affiliation_strings":["Informatik, Technische Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany"],"affiliations":[{"raw_affiliation_string":"Informatik, Technische Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5083480819"],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":1.0371,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.73864216,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"36","issue":"3","first_page":"1","last_page":"54"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994999766349792,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9983999729156494,"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/theory-of-computation","display_name":"Theory of computation","score":0.690313458442688},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6897021532058716},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5349776744842529},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4311331808567047},{"id":"https://openalex.org/keywords/pi-calculus","display_name":"Pi calculus","score":0.42214447259902954},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4107228219509125},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33404719829559326}],"concepts":[{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.690313458442688},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6897021532058716},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5349776744842529},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4311331808567047},{"id":"https://openalex.org/C2984882572","wikidata":"https://www.wikidata.org/wiki/Q602886","display_name":"Pi calculus","level":2,"score":0.42214447259902954},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4107228219509125},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33404719829559326},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3672085","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3672085","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3672085","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3672085","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3672085","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3672085","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4399745194.pdf"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W5837501","https://openalex.org/W191497389","https://openalex.org/W258022877","https://openalex.org/W326353637","https://openalex.org/W1458771408","https://openalex.org/W1480089038","https://openalex.org/W1483256715","https://openalex.org/W1503029938","https://openalex.org/W1504504841","https://openalex.org/W1547562281","https://openalex.org/W1603799276","https://openalex.org/W1922007016","https://openalex.org/W1964727056","https://openalex.org/W1998333922","https://openalex.org/W2025130322","https://openalex.org/W2025850194","https://openalex.org/W2046381502","https://openalex.org/W2055378322","https://openalex.org/W2060440861","https://openalex.org/W2061540090","https://openalex.org/W2074119802","https://openalex.org/W2075350371","https://openalex.org/W2075773711","https://openalex.org/W2087443598","https://openalex.org/W2091769923","https://openalex.org/W2106192381","https://openalex.org/W2137865376","https://openalex.org/W2139689007","https://openalex.org/W2152261259","https://openalex.org/W2158743268","https://openalex.org/W2293400264","https://openalex.org/W2487561128","https://openalex.org/W2748561218","https://openalex.org/W2798556801","https://openalex.org/W2809270416","https://openalex.org/W2987907651","https://openalex.org/W3103773646","https://openalex.org/W4206353613","https://openalex.org/W4210886820","https://openalex.org/W4214626551","https://openalex.org/W4231602332","https://openalex.org/W4240251433","https://openalex.org/W4243186596","https://openalex.org/W4249540670","https://openalex.org/W4385478533","https://openalex.org/W4390245814","https://openalex.org/W6600713429","https://openalex.org/W6632601584","https://openalex.org/W6678553134"],"related_works":["https://openalex.org/W2384073569","https://openalex.org/W1501525671","https://openalex.org/W2064563243","https://openalex.org/W1973641256","https://openalex.org/W4250775169","https://openalex.org/W2951011785","https://openalex.org/W154767665","https://openalex.org/W1505531937","https://openalex.org/W2069732957","https://openalex.org/W2013672985"],"abstract_inverted_index":{"A":[0],"calculus":[1,97,149,159],"for":[2,141],"the":[3,56,71,79,115],"specification":[4,49,100],"and":[5,26,75,101,129,136,153,165],"verification":[6],"of":[7,33,35,38,46,50,58,73,84,117],"distributed":[8,36,110],"concurrent":[9,44,111],"interactive":[10,39],"real-time":[11],"systems":[12,40],"is":[13,53,62,121,150,160],"introduced.":[14],"Systems":[15],"are":[16,41,68],"specified":[17],"by":[18,23,43,64,78,155],"their":[19,59],"interface":[20,24,27,99],"behavior":[21,128],"formalized":[22],"predicates":[25],"assertions.":[28],"System":[29],"designs":[30,52],"in":[31,82,123],"terms":[32,83],"architectures":[34],"networks":[37],"constructed":[42],"composition":[45],"subsystems.":[47,60],"The":[48,96,158],"system":[51],"calculated":[54],"from":[55],"specifications":[57],"Verification":[61],"done":[63],"proof":[65],"rules,":[66],"which":[67],"based":[69],"on":[70],"concepts":[72],"causality":[74,135],"realizability":[76],"justified":[77],"operational":[80],"model":[81],"generalized":[85],"Moore":[86,88,143],"machines,":[87],"machines":[89],"not":[90],"restricted":[91],"to":[92,125,130,134,162],"finite":[93],"state":[94],"spaces.":[95],"supports":[98],"reasoning":[102],"both":[103],"about":[104],"untimed":[105],"as":[106,108],"well":[107],"timed":[109],"systems.":[112,119],"This":[113],"includes":[114],"design":[116],"cyber-physical":[118],"Real-time":[120],"used,":[122],"particular,":[124],"specify":[126],"time-sensitive":[127],"prove":[131],"properties":[132,138],"related":[133],"realizability,":[137],"that":[139],"hold":[140],"all":[142],"machines.":[144],"On":[145],"this":[146],"basis,":[147],"a":[148],"worked":[151],"out":[152],"illustrated":[154],"small":[156],"examples.":[157],"shown":[161],"be":[163],"sound":[164],"relatively":[166],"complete.":[167]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}