{"id":"https://openalex.org/W1702410795","doi":"https://doi.org/10.3233/fi-2009-199","title":"An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation","display_name":"An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W1702410795","doi":"https://doi.org/10.3233/fi-2009-199","mag":"1702410795"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2009-199","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2009-199","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","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/A5021492778","display_name":"J\u00f3zef Winkowski","orcid":null},"institutions":[{"id":"https://openalex.org/I99542240","display_name":"Polish Academy of Sciences","ror":"https://ror.org/01dr6c206","country_code":"PL","type":"government","lineage":["https://openalex.org/I99542240"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"J\u00f3zef Winkowski","raw_affiliation_strings":["Institute of Computer Science Polish Academy of\r\t\t\t Sciences Ordona 21, 01-237 Warszawa, Poland. E-mail: wink@ipipan.waw.pl","Institute of Computer Science, Polish Academy of Sciences, Ordona 21, 01-237 Warszawa, Poland. E-mail: wink@ipipan.waw.pl#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science Polish Academy of\r\t\t\t Sciences Ordona 21, 01-237 Warszawa, Poland. E-mail: wink@ipipan.waw.pl","institution_ids":["https://openalex.org/I99542240"]},{"raw_affiliation_string":"Institute of Computer Science, Polish Academy of Sciences, Ordona 21, 01-237 Warszawa, Poland. E-mail: wink@ipipan.waw.pl#TAB#","institution_ids":["https://openalex.org/I99542240"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5021492778"],"corresponding_institution_ids":["https://openalex.org/I99542240"],"apc_list":null,"apc_paid":null,"fwci":1.7359,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.83194906,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"97","issue":"1-2","first_page":"235","last_page":"273"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9955000281333923,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9947999715805054,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.751426100730896},{"id":"https://openalex.org/keywords/presentation","display_name":"Presentation (obstetrics)","score":0.7483991384506226},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.6468509435653687},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5942346453666687},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.525698184967041},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4392150044441223},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3705136179924011},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.34381189942359924},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3197232484817505},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.17687129974365234}],"concepts":[{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.751426100730896},{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.7483991384506226},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.6468509435653687},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5942346453666687},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.525698184967041},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4392150044441223},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3705136179924011},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.34381189942359924},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3197232484817505},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.17687129974365234},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C126838900","wikidata":"https://www.wikidata.org/wiki/Q77604","display_name":"Radiology","level":1,"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.3233/fi-2009-199","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2009-199","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W121750021","https://openalex.org/W139718190","https://openalex.org/W1482381349","https://openalex.org/W1494567035","https://openalex.org/W1494941496","https://openalex.org/W1504756454","https://openalex.org/W1513077802","https://openalex.org/W1530176506","https://openalex.org/W1558240523","https://openalex.org/W1567072398","https://openalex.org/W1569068921","https://openalex.org/W1576616200","https://openalex.org/W1764738473","https://openalex.org/W1878989098","https://openalex.org/W1897234491","https://openalex.org/W2020156240","https://openalex.org/W2022479543","https://openalex.org/W2026154367","https://openalex.org/W2037507558","https://openalex.org/W2044950838","https://openalex.org/W2050298454","https://openalex.org/W2052906135","https://openalex.org/W2080364897","https://openalex.org/W2091188761","https://openalex.org/W2098543914","https://openalex.org/W2113355185","https://openalex.org/W2129661198","https://openalex.org/W2137865376","https://openalex.org/W2296604987","https://openalex.org/W2583209500","https://openalex.org/W2797649923","https://openalex.org/W2913376619","https://openalex.org/W2914001177","https://openalex.org/W2915014422"],"related_works":["https://openalex.org/W4387426029","https://openalex.org/W4254162896","https://openalex.org/W4388792380","https://openalex.org/W1477999932","https://openalex.org/W4386731653","https://openalex.org/W2376001620","https://openalex.org/W2925303117","https://openalex.org/W3167529338","https://openalex.org/W4285219045","https://openalex.org/W2072343831"],"abstract_inverted_index":{"The":[0,190,218,273],"paper":[1,9,279],"is":[2,216],"the":[3,48,53,57,64,104,166,175,199,224,232,236,263,277,293,296,304],"first":[4,274,305],"part":[5,275,295,306],"of":[6,15,22,25,31,44,55,66,96,103,132,135,142,155,158,179,187,192,201,204,231,240,245,266,276,282,290,298,300,314,326],"a":[7,13,16,20,23,26,32,78,91,101,140,150,193,208,214,312,324],"two-part":[8],"that":[10],"contributes":[11],"with":[12,35,47,52,163,172,207],"concept":[14],"process":[17,70,86],"viewed":[18],"as":[19,198,309],"model":[21],"run":[24],"phenomenon":[27],"(discrete,":[28],"continuous,":[29],"or":[30,83],"mixed":[33],"type),":[34],"operations":[36,145,256],"allowing":[37],"to":[38,62,165,174,184,238,251,254,260,269,287],"define":[39,185,252,255,270],"complex":[40],"processes":[41,113,148,159,180,203,246,283,301],"in":[42,123,139,262,303],"terms":[43],"their":[45,285],"components,":[46],"respective":[49],"algebras,":[50,317,320],"and":[51,144,169,268,284,321],"idea":[54],"using":[56],"formal":[58],"tools":[59],"thus":[60],"obtained":[61],"describe":[63],"behaviours":[65,186,258,289],"concurrent":[67,188],"systems.":[68,189,291],"A":[69,85],"may":[71,126],"have":[72],"an":[73],"initial":[74,133],"state":[75,80],"(a":[76,81],"source),":[77],"final":[79],"target),":[82],"both.":[84],"can":[87,99,106,120,181,195,247],"be":[88,100,107,121,127,182,196,249],"represented":[89],"by":[90],"partially":[92],"ordered":[93],"multiset.":[94],"Processes":[95,125,138],"which":[97,114],"one":[98],"continuation":[102],"other":[105,136],"composed":[108,122],"sequentially.":[109],"Independent":[110],"processes,":[111],"i.e.":[112,129],"do":[115],"not":[116],"disturb":[117],"each":[118],"other,":[119],"parallel.":[124],"prefixes,":[128],"independent":[130],"components":[131],"segments":[134],"processes.":[137,156],"universe":[141],"objects":[143],"on":[146,210,220,257],"such":[147,327],"form":[149],"partial":[151,161,170,316],"algebra,":[152],"called":[153,318],"algebra":[154],"Algebras":[157,178,244],"are":[160,307],"categories":[162],"respect":[164,173],"sequential":[167],"composition,":[168],"monoids":[171],"parallel":[176],"composition.":[177],"used":[183,250],"behaviour":[191,233],"system":[194,206],"defined":[197],"set":[200,215,222],"possible":[202],"this":[205,211,221],"structure":[209,219],"set.":[212],"Such":[213],"prefix-closed.":[217],"reflects":[223],"prefix":[225],"order":[226],"and,":[227],"possibly,":[228],"specific":[229],"features":[230],"like":[234],"observability,":[235],"relation":[237],"flow":[239],"real":[241],"time,":[242],"etc.":[243],"also":[248],"behaviours,":[253,267],"similar":[259],"those":[261],"existing":[264],"calculi":[265],"random":[271],"behaviours.":[272],"whole":[278],"investigates":[280],"algebras":[281,299],"applications":[286],"describing":[288],"In":[292],"second":[294],"properties":[297],"described":[302],"regarded":[308],"axioms":[310],"defining":[311],"class":[313],"abstract":[315],"behaviouroriented":[319],"they":[322],"initiate":[323],"theory":[325],"algebras.":[328]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}