{"id":"https://openalex.org/W2136591386","doi":"https://doi.org/10.1109/acsd.2006.34","title":"Towards an Algebra of Abstractions for Communicating Processes","display_name":"Towards an Algebra of Abstractions for Communicating Processes","publication_year":2006,"publication_date":"2006-08-03","ids":{"openalex":"https://openalex.org/W2136591386","doi":"https://doi.org/10.1109/acsd.2006.34","mag":"2136591386"},"language":"en","primary_location":{"id":"doi:10.1109/acsd.2006.34","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acsd.2006.34","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sixth International Conference on Application of Concurrency to System Design (ACSD'06)","raw_type":"proceedings-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/A5042490356","display_name":"Maciej Koutny","orcid":"https://orcid.org/0000-0003-4563-1378"},"institutions":[{"id":"https://openalex.org/I78757542","display_name":"University of Newcastle Australia","ror":"https://ror.org/00eae9z71","country_code":"AU","type":"education","lineage":["https://openalex.org/I78757542"]},{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["AU","GB"],"is_corresponding":true,"raw_author_name":"M. Koutny","raw_affiliation_strings":["School of Computing Science, University of Newcastle, United Kingdom","University of Newcastle, NE1 7RU, United Kingdom.#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Computing Science, University of Newcastle, United Kingdom","institution_ids":["https://openalex.org/I84884186"]},{"raw_affiliation_string":"University of Newcastle, NE1 7RU, United Kingdom.#TAB#","institution_ids":["https://openalex.org/I78757542"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078252196","display_name":"Giuseppe Pappalardo","orcid":"https://orcid.org/0000-0001-7328-3492"},"institutions":[{"id":"https://openalex.org/I39063666","display_name":"University of Catania","ror":"https://ror.org/03a64bh57","country_code":"IT","type":"education","lineage":["https://openalex.org/I39063666"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"G. Pappalardo","raw_affiliation_strings":["Dipartimento di Matematica e Informatica, Universit\u00e0 di Catania, Catania, Italy","Universit\u00e0 di Catania, I-95125 Catania, Italy#TAB#"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica e Informatica, Universit\u00e0 di Catania, Catania, Italy","institution_ids":["https://openalex.org/I39063666"]},{"raw_affiliation_string":"Universit\u00e0 di Catania, I-95125 Catania, Italy#TAB#","institution_ids":["https://openalex.org/I39063666"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113869019","display_name":"Marta Pietkiewicz-Koutny","orcid":null},"institutions":[{"id":"https://openalex.org/I78757542","display_name":"University of Newcastle Australia","ror":"https://ror.org/00eae9z71","country_code":"AU","type":"education","lineage":["https://openalex.org/I78757542"]},{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["AU","GB"],"is_corresponding":false,"raw_author_name":"M. Pietkiewicz-Koutny","raw_affiliation_strings":["School of Computing Science, University of Newcastle, United Kingdom","University of Newcastle, NE1 7RU, United Kingdom.#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Computing Science, University of Newcastle, United Kingdom","institution_ids":["https://openalex.org/I84884186"]},{"raw_affiliation_string":"University of Newcastle, NE1 7RU, United Kingdom.#TAB#","institution_ids":["https://openalex.org/I78757542"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5042490356"],"corresponding_institution_ids":["https://openalex.org/I78757542","https://openalex.org/I84884186"],"apc_list":null,"apc_paid":null,"fwci":0.327,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.62714856,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"239","last_page":"250"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.8775219917297363},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8139326572418213},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.6168720126152039},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.6111549139022827},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.6015864610671997},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5557302832603455},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5373477339744568},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4879905581474304},{"id":"https://openalex.org/keywords/underspecification","display_name":"Underspecification","score":0.4403456449508667},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.43676936626434326},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.4293134808540344},{"id":"https://openalex.org/keywords/novelty","display_name":"Novelty","score":0.41753053665161133},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4063921272754669},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18279635906219482},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.1576595902442932},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.0963779091835022}],"concepts":[{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.8775219917297363},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8139326572418213},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.6168720126152039},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.6111549139022827},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.6015864610671997},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5557302832603455},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5373477339744568},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4879905581474304},{"id":"https://openalex.org/C2779631151","wikidata":"https://www.wikidata.org/wiki/Q7883767","display_name":"Underspecification","level":2,"score":0.4403456449508667},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.43676936626434326},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.4293134808540344},{"id":"https://openalex.org/C2778738651","wikidata":"https://www.wikidata.org/wiki/Q16546687","display_name":"Novelty","level":2,"score":0.41753053665161133},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4063921272754669},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18279635906219482},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.1576595902442932},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.0963779091835022},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","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/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/acsd.2006.34","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acsd.2006.34","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sixth International Conference on Application of Concurrency to System Design (ACSD'06)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W18687568","https://openalex.org/W18703358","https://openalex.org/W258022877","https://openalex.org/W1503973138","https://openalex.org/W1505763672","https://openalex.org/W1515636722","https://openalex.org/W1585465727","https://openalex.org/W1718586399","https://openalex.org/W1866427062","https://openalex.org/W2007107553","https://openalex.org/W2039019493","https://openalex.org/W2047482026","https://openalex.org/W2129384397","https://openalex.org/W2132107743","https://openalex.org/W2137021288","https://openalex.org/W2159473156","https://openalex.org/W2176300081","https://openalex.org/W2589217375","https://openalex.org/W2914320554","https://openalex.org/W3144368627","https://openalex.org/W4285719527","https://openalex.org/W6630104300","https://openalex.org/W6630846875","https://openalex.org/W6676995014","https://openalex.org/W6679059954"],"related_works":["https://openalex.org/W2048198238","https://openalex.org/W2041829265","https://openalex.org/W4200263774","https://openalex.org/W1500924816","https://openalex.org/W2048884548","https://openalex.org/W1984757285","https://openalex.org/W2883375237","https://openalex.org/W2569447364","https://openalex.org/W2898425611","https://openalex.org/W1980833107"],"abstract_inverted_index":{"It":[0],"is":[1,41,81,197],"often":[2],"desirable":[3],"to":[4,21,94,156,166,181],"describe":[5],"the":[6,22,25,36,50,65,69,72,85,114,130,134,141,169,193],"interface":[7,23],"of":[8,19,24,45,68,103,145,152,192],"an":[9,42],"implementation":[10,44,62,70,86,96,104,126,135,143],"system":[11],"at":[12,34],"a":[13,31,39,60,111,149,172],"different":[14,55],"(usually":[15],"more":[16],"detailed)":[17],"level":[18],"abstraction":[20],"relevant":[26],"specification.":[27],"This":[28,57],"calls":[29],"for":[30],"relation":[32,63,87,112,136],"aimed":[33],"formalising":[35],"notion":[37],"that":[38,52,174,198],"process":[40,48,74],"acceptable":[43],"another":[46],"target":[47,73,99,124,150],"in":[49,110,127],"event":[51],"they":[53],"possess":[54],"interfaces.":[56],"paper":[58,170],"formulates":[59],"suitable":[61],"between":[64,137],"observable":[66],"behaviours":[67],"and":[71,79,105,116,125,177,184],"using":[75],"CSP.":[76,146],"Interface":[77],"difference":[78],"bridging":[80],"modelled":[82],"by":[83,159],"endowing":[84],"with":[88],"parameters,":[89],"called":[90],"extraction":[91,106,203],"patterns,":[92,204],"instrumental":[93],"interpreting":[95],"behaviour":[97],"as":[98],"behaviour.":[100],"Reasonable":[101],"notions":[102],"patterns":[107],"should":[108],"result":[109],"satisfying":[113],"realisability":[115],"compositionality":[117],"properties.":[118],"The":[119,190],"former":[120],"means":[121],"that,":[122],"if":[123],"fact":[128],"have":[129],"same":[131],"interface,":[132],"then":[133],"them":[138],"collapses":[139],"into":[140],"standard":[142],"pre-order":[144],"Compositionality":[147],"allows":[148],"composed":[151],"several":[153],"connected":[154],"systems":[155],"be":[157,182],"implemented":[158],"connecting":[160],"their":[161],"respective":[162],"implementations.":[163],"With":[164],"respect":[165],"previous":[167],"work,":[168],"drops":[171],"restriction":[173],"prevented":[175],"broadcast":[176],"other":[178],"group":[179],"communication":[180],"modelled,":[183],"admits":[185],"fully":[186],"general":[187],"specification":[188],"processes.":[189],"novelty":[191],"approach":[194],"presented":[195],"here":[196],"it":[199],"introduces":[200],"operations":[201,210],"over":[202],"mimicking":[205],"(and":[206],"being":[207],"compatible":[208],"with)":[209],"on":[211],"processes":[212]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}