{"id":"https://openalex.org/W1576754432","doi":"https://doi.org/10.3217/jucs-012-07-0922","title":"Generic Process Algebra: A Programming Challenge","display_name":"Generic Process Algebra: A Programming Challenge","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W1576754432","doi":"https://doi.org/10.3217/jucs-012-07-0922","mag":"1576754432"},"language":"en","primary_location":{"id":"pmh:oai:repositorium.sdum.uminho.pt:1822/6467","is_oa":true,"landing_page_url":"http://hdl.handle.net/1822/6467","pdf_url":"http://hdl.handle.net/1822/6467","source":{"id":"https://openalex.org/S4306401240","display_name":"Reposit\u00f3riUM (Universidade do Minho)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99682543","host_organization_name":"University of Minho","host_organization_lineage":["https://openalex.org/I99682543"],"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":"journal article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/1822/6467","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062334330","display_name":"Lu\u00ad\u00eds Soares Barbosa","orcid":"https://orcid.org/0000-0002-5037-2588"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Lu\u00eds Soares Barbosa","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010715692","display_name":"Marco Ant\u00f4nio Barbosa","orcid":"https://orcid.org/0000-0001-9674-2348"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marco Antonio Barbosa","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5102058888","display_name":"Paula R. Ribeiro","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Paula R. Ribeiro","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5062334330"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1407,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.46329471,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"12","issue":"7","first_page":"922","last_page":"937"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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.9994999766349792,"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.9975000023841858,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9973999857902527,"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/computer-science","display_name":"Computer science","score":0.8048083782196045},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.7369027137756348},{"id":"https://openalex.org/keywords/coinduction","display_name":"Coinduction","score":0.7087117433547974},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.6632145047187805},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.5986735820770264},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.577596127986908},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5147081017494202},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5109497904777527},{"id":"https://openalex.org/keywords/combinatory-logic","display_name":"Combinatory logic","score":0.4569142758846283},{"id":"https://openalex.org/keywords/generic-programming","display_name":"Generic programming","score":0.450168639421463},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.41041100025177},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3209584951400757},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09993594884872437}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8048083782196045},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.7369027137756348},{"id":"https://openalex.org/C40220748","wikidata":"https://www.wikidata.org/wiki/Q4227156","display_name":"Coinduction","level":3,"score":0.7087117433547974},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.6632145047187805},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.5986735820770264},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.577596127986908},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5147081017494202},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5109497904777527},{"id":"https://openalex.org/C79678938","wikidata":"https://www.wikidata.org/wiki/Q1481571","display_name":"Combinatory logic","level":2,"score":0.4569142758846283},{"id":"https://openalex.org/C7051814","wikidata":"https://www.wikidata.org/wiki/Q1051282","display_name":"Generic programming","level":2,"score":0.450168639421463},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.41041100025177},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3209584951400757},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09993594884872437},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:repositorium.sdum.uminho.pt:1822/6467","is_oa":true,"landing_page_url":"http://hdl.handle.net/1822/6467","pdf_url":"http://hdl.handle.net/1822/6467","source":{"id":"https://openalex.org/S4306401240","display_name":"Reposit\u00f3riUM (Universidade do Minho)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99682543","host_organization_name":"University of Minho","host_organization_lineage":["https://openalex.org/I99682543"],"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":"journal article"},{"id":"pmh:oai:repositorium.uminho.pt:1822/6467","is_oa":true,"landing_page_url":"https://hdl.handle.net/1822/6467","pdf_url":null,"source":{"id":"https://openalex.org/S4306400624","display_name":"Reposit\u00f3riUM (Universidade do Minho)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99682543","host_organization_name":"University of Minho","host_organization_lineage":["https://openalex.org/I99682543"],"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":null,"raw_type":"journal article"},{"id":"doi:10.3217/jucs-012-07-0922","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-012-07-0922","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"mag:1576754432","is_oa":false,"landing_page_url":"https://repositorium.sdum.uminho.pt/bitstream/1822/6467/1/RBB06_lsb.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S58563349","display_name":"JUCS - Journal of Universal Computer Science","issn_l":"0948-695X","issn":["0948-695X","0948-6968"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317875","host_organization_name":"Verlag der Technischen Universit\u00e4t Graz","host_organization_lineage":["https://openalex.org/P4310317875"],"host_organization_lineage_names":["Verlag der Technischen Universit\u00e4t Graz"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"JUCS - Journal of Universal Computer Science","raw_type":null}],"best_oa_location":{"id":"pmh:oai:repositorium.sdum.uminho.pt:1822/6467","is_oa":true,"landing_page_url":"http://hdl.handle.net/1822/6467","pdf_url":"http://hdl.handle.net/1822/6467","source":{"id":"https://openalex.org/S4306401240","display_name":"Reposit\u00f3riUM (Universidade do Minho)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99682543","host_organization_name":"University of Minho","host_organization_lineage":["https://openalex.org/I99682543"],"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":"journal article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W1576754432.pdf"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W1490795061","https://openalex.org/W1503973138","https://openalex.org/W1529735239","https://openalex.org/W1608714802","https://openalex.org/W1657249808","https://openalex.org/W1796676969","https://openalex.org/W2017778827","https://openalex.org/W2020147234","https://openalex.org/W2029017938","https://openalex.org/W2076640573","https://openalex.org/W2077564715","https://openalex.org/W2082828226","https://openalex.org/W2096584490","https://openalex.org/W2587256088","https://openalex.org/W3144368627"],"related_works":["https://openalex.org/W2139842876","https://openalex.org/W1503973138","https://openalex.org/W1500859230","https://openalex.org/W2088764183","https://openalex.org/W1605849705","https://openalex.org/W66252900","https://openalex.org/W1710734151","https://openalex.org/W1576460572","https://openalex.org/W1535470007","https://openalex.org/W1480622152","https://openalex.org/W3105028440","https://openalex.org/W2473415763","https://openalex.org/W3140602294","https://openalex.org/W1868341999","https://openalex.org/W3125937936","https://openalex.org/W3097936955","https://openalex.org/W2134958477","https://openalex.org/W190204645","https://openalex.org/W2492126877","https://openalex.org/W194334725"],"abstract_inverted_index":{"Emerging":[0],"interaction":[1,51,79],"paradigms,":[2],"such":[3,11,54],"as":[4,12,112,114],"service-oriented":[5],"computing,":[6],"and":[7,19,33,78,108],"new":[8,17],"technological":[9],"challenges,":[10],"exogenous":[13],"component":[14],"coordination,":[15],"suggest":[16],"roles":[18],"application":[20],"areas":[21],"for":[22,30],"process":[23,69],"algebras.":[24],"This,":[25],"however,":[26],"entails":[27],"the":[28,87,100],"need":[29],"more":[31],"generic":[32],"adaptable":[34],"approaches":[35],"to":[36],"their":[37,103,115],"design.":[38],"For":[39],"example,":[40],"some":[41],"applications":[42],"may":[43],"require":[44],"similar":[45],"programming":[46],"constructs":[47],"coexisting":[48],"with":[49],"different":[50],"disciplines.":[52,80],"In":[53],"a":[55,60,64,72],"context,":[56],"this":[57],"paper":[58,97],"pursues":[59],"research":[61],"programme":[62],"on":[63,86],"coinductive":[65],"rephrasal":[66],"of":[67,89,102],"classic":[68],"algebra,":[70],"proposing":[71],"clear":[73],"separation":[74],"between":[75],"structural":[76],"aspects":[77],"A":[81],"particular":[82],"emphasis":[83],"is":[84],"put":[85],"study":[88],"interruption":[90],"combinators":[91],"defined":[92],"by":[93],"natural":[94],"co-recursion.":[95],"The":[96],"also":[98],"illustrates":[99],"verification":[101],"properties":[104],"in":[105,118],"an":[106],"equational":[107],"pointfree":[109],"reasoning":[110],"style":[111],"well":[113],"direct":[116],"encoding":[117],"Haskell":[119]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}