{"id":"https://openalex.org/W1854727386","doi":"https://doi.org/10.3233/fi-2009-210","title":"An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation","display_name":"An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W1854727386","doi":"https://doi.org/10.3233/fi-2009-210","mag":"1854727386"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2009-210","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2009-210","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":0.6944,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.68727258,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"97","issue":"4","first_page":"439","last_page":"470"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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.9939000010490417,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9933000206947327,"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/presentation","display_name":"Presentation (obstetrics)","score":0.7535660266876221},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6796526908874512},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.6522001028060913},{"id":"https://openalex.org/keywords/axiomatic-system","display_name":"Axiomatic system","score":0.6451364755630493},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5430840849876404},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5347245335578918},{"id":"https://openalex.org/keywords/axiomatic-design","display_name":"Axiomatic design","score":0.45139074325561523},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3949345350265503},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.38361966609954834},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.35073602199554443},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.18242651224136353},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.10251191258430481},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08647635579109192},{"id":"https://openalex.org/keywords/operations-management","display_name":"Operations management","score":0.05562189221382141}],"concepts":[{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.7535660266876221},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6796526908874512},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.6522001028060913},{"id":"https://openalex.org/C125773388","wikidata":"https://www.wikidata.org/wiki/Q792542","display_name":"Axiomatic system","level":3,"score":0.6451364755630493},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5430840849876404},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5347245335578918},{"id":"https://openalex.org/C84170951","wikidata":"https://www.wikidata.org/wiki/Q647225","display_name":"Axiomatic design","level":3,"score":0.45139074325561523},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3949345350265503},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38361966609954834},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.35073602199554443},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.18242651224136353},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.10251191258430481},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08647635579109192},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.05562189221382141},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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},{"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/C137335462","wikidata":"https://www.wikidata.org/wiki/Q380772","display_name":"Lean manufacturing","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/fi-2009-210","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2009-210","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W110217058","https://openalex.org/W611205000","https://openalex.org/W1482381349","https://openalex.org/W1487534524","https://openalex.org/W1494567035","https://openalex.org/W1494941496","https://openalex.org/W1538315676","https://openalex.org/W1702410795","https://openalex.org/W1705394006","https://openalex.org/W1764738473","https://openalex.org/W1878989098","https://openalex.org/W2020156240","https://openalex.org/W2022479543","https://openalex.org/W2050298454","https://openalex.org/W2080364897","https://openalex.org/W2113355185","https://openalex.org/W2129661198","https://openalex.org/W2137865376","https://openalex.org/W2173961470","https://openalex.org/W2915014422"],"related_works":["https://openalex.org/W2528271379","https://openalex.org/W2607982435","https://openalex.org/W1623032916","https://openalex.org/W3133448566","https://openalex.org/W2387734943","https://openalex.org/W1508537345","https://openalex.org/W4388249805","https://openalex.org/W1981734275","https://openalex.org/W2007651058","https://openalex.org/W2355377260"],"abstract_inverted_index":{"The":[0],"paper":[1,8],"is":[2,72,120,175,236],"the":[3,29,34,38,45,51,124,183,194,198,201,209,241],"second":[4,199],"part":[5,53,200,211],"of":[6,13,25,36,47,57,77,80,86,117,123,144,147,159,172,203,205,219,228,240,249],"two-part":[7],"that":[9,154,174],"contributeswith":[10],"a":[11,14,54,58,75,78,81,87,99,112,121,157,167,176,187,217],"concept":[12],"process,":[15],"with":[16,28,33,180,191,259,264],"operations":[17,64,162],"allowing":[18],"to":[19,43,182,193,253,256],"define":[20],"complex":[21],"processes":[22,66,155,165,206,262],"in":[23,135,156,208],"terms":[24],"their":[26],"components,":[27],"respective":[30],"algebras,":[31,222,225],"and":[32,63,161,186,226,251,261],"idea":[35],"using":[37],"formal":[39],"tools":[40],"thus":[41],"obtained":[42],"describe":[44,257],"behaviours":[46],"concurrent":[48],"systems.":[49],"In":[50,197,233],"first":[52,210],"universal":[55],"model":[56,76],"process":[59,71,91,107],"have":[60,67,93],"been":[61,68,152],"introduced":[62],"on":[65,163],"defined.":[69],"A":[70,90,106],"viewed":[73],"as":[74,214,247],"run":[79],"system":[82],"(discrete,":[83],"continuous,":[84],"or":[85,104],"mixed":[88],"type).":[89],"may":[92,138],"an":[94],"initial":[95,145],"state":[96,101],"(a":[97,102],"source),":[98],"final":[100],"target),":[103],"both.":[105],"can":[108,126,132,244],"be":[109,127,133,139,245],"represented":[110,246],"by":[111],"partially":[113],"ordered":[114],"multiset.":[115],"Processes":[116,137],"which":[118],"one":[119],"continuation":[122],"other":[125,148],"composed":[128,134],"sequentially.":[129],"Independent":[130],"processes,":[131,173,250],"parallel.":[136],"prefixes,":[140],"i.e.":[141],"independent":[142],"components":[143],"segments":[146],"processes.":[149],"It":[150],"has":[151],"shown":[153,237],"universe":[158],"objects":[160],"such":[164,229],"form":[166],"partial":[168,178,189,221],"algebra,":[169],"called":[170,223],"algebra":[171],"specific":[177,188,265],"category":[179],"respect":[181,192],"sequential":[184],"composition,":[185],"monoid":[190],"parallel":[195],"composition.":[196],"properties":[202,227],"algebras":[204,230,243,248],"described":[207],"are":[212,231],"regarded":[213],"axioms":[215],"defining":[216],"class":[218],"abstract":[220],"behaviour-oriented":[224,242],"investigated.":[232],"particular,":[234],"it":[235],"how":[238,252],"some":[239],"use":[254],"them":[255],"phenomena":[258],"states":[260],"provided":[263],"structures.":[266]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}