{"id":"https://openalex.org/W2053685668","doi":"https://doi.org/10.1016/s1571-0661(04)00190-2","title":"Networks of Processes with Parameterized State Space","display_name":"Networks of Processes with Parameterized State Space","publication_year":2001,"publication_date":"2001-08-01","ids":{"openalex":"https://openalex.org/W2053685668","doi":"https://doi.org/10.1016/s1571-0661(04)00190-2","mag":"2053685668"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)00190-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00190-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)00190-2","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003036674","display_name":"Kai Baukus","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"K. Baukus","raw_affiliation_strings":["Institute of Computer Science and Applied Mathematics, CAU Kiel, Preusserstr. 1\u20139, D-24105 Kiel, Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science and Applied Mathematics, CAU Kiel, Preusserstr. 1\u20139, D-24105 Kiel, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080464781","display_name":"Karsten Stahl","orcid":"https://orcid.org/0000-0001-7177-5207"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"K. Stahl","raw_affiliation_strings":["Institute of Computer Science and Applied Mathematics, CAU Kiel, Preusserstr. 1\u20139, D-24105 Kiel, Germany"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science and Applied Mathematics, CAU Kiel, Preusserstr. 1\u20139, D-24105 Kiel, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106468718","display_name":"Saddek Bensalem","orcid":"https://orcid.org/0000-0002-5753-2126"},"institutions":[{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"S. Bensalem","raw_affiliation_strings":["Verimag, Centre Equation, 2 Av. de Vignate, 38610 Gi\u00e8res, France"],"affiliations":[{"raw_affiliation_string":"Verimag, Centre Equation, 2 Av. de Vignate, 38610 Gi\u00e8res, France","institution_ids":["https://openalex.org/I4210156361"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005219814","display_name":"Yassine Lakhnech","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Y. Lakhnech","raw_affiliation_strings":["Verimag, Centre Equation, 2 Av. de Vignate, 38610 Gi\u00e8res, France"],"affiliations":[{"raw_affiliation_string":"Verimag, Centre Equation, 2 Av. de Vignate, 38610 Gi\u00e8res, France","institution_ids":["https://openalex.org/I4210156361"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5003036674","https://openalex.org/A5005219814","https://openalex.org/A5080464781","https://openalex.org/A5106468718"],"corresponding_institution_ids":["https://openalex.org/I4210156361"],"apc_list":null,"apc_paid":null,"fwci":0.4483,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.65551319,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"50","issue":"4","first_page":"386","last_page":"400"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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.9984999895095825,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/parameterized-complexity","display_name":"Parameterized complexity","score":0.9300132393836975},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8060325384140015},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7882102727890015},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7811040878295898},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.7563092112541199},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.6478395462036133},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5642410516738892},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5453336834907532},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.47316914796829224},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.4498898983001709},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.42911744117736816},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32328832149505615},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2805140018463135},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20360806584358215},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09973359107971191}],"concepts":[{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.9300132393836975},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8060325384140015},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7882102727890015},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7811040878295898},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.7563092112541199},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.6478395462036133},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5642410516738892},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5453336834907532},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.47316914796829224},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.4498898983001709},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.42911744117736816},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32328832149505615},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2805140018463135},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20360806584358215},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09973359107971191},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(04)00190-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00190-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)00190-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00190-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1484571639","https://openalex.org/W1488858096","https://openalex.org/W1529349649","https://openalex.org/W1544459976","https://openalex.org/W1561867409","https://openalex.org/W1573633114","https://openalex.org/W1578881602","https://openalex.org/W1588072091","https://openalex.org/W1783679080","https://openalex.org/W1926085771","https://openalex.org/W1982900911","https://openalex.org/W1983682288","https://openalex.org/W1987073197","https://openalex.org/W2000210358","https://openalex.org/W2036526834","https://openalex.org/W2044902313","https://openalex.org/W2051054731","https://openalex.org/W2053294975","https://openalex.org/W2080593426","https://openalex.org/W2113486906","https://openalex.org/W2131742729","https://openalex.org/W2141957585","https://openalex.org/W2147269402","https://openalex.org/W2344021881","https://openalex.org/W2395891450","https://openalex.org/W4205178514","https://openalex.org/W6629179324","https://openalex.org/W6633342049","https://openalex.org/W6638180593","https://openalex.org/W6650326991","https://openalex.org/W6663768077"],"related_works":["https://openalex.org/W2972379433","https://openalex.org/W1501430220","https://openalex.org/W2989332944","https://openalex.org/W2021891065","https://openalex.org/W2583549044","https://openalex.org/W2119045600","https://openalex.org/W2584984136","https://openalex.org/W2962928105","https://openalex.org/W2170336571","https://openalex.org/W2020140696"],"abstract_inverted_index":{"In":[0,9,54,92,150],"general,":[1],"the":[2,33,41,73,95,98,114,126,139,163,169,196,200,212,217,223],"verification":[3,214],"of":[4,17,22,32,40,67,88,104,110,116,128,133,171,195,202],"parameterized":[5,23,42,69,86,118,167],"networks":[6,161],"is":[7,138,166],"undecidable.":[8],"recent":[10],"years":[11],"there":[12],"has":[13],"been":[14],"a":[15,55,60,68,117,203],"lot":[16],"research":[18],"to":[19,46,50,64,84,157,180,190],"identify":[20],"subclasses":[21],"systems":[24,79,87],"for":[25,141,211,222],"which":[26,62,186],"certain":[27],"properties":[28],"are":[29,35,101],"decidable.":[30],"Some":[31],"results":[34],"based":[36],"on":[37],"finite":[38,89],"abstractions":[39,66],"system":[43,70,185],"in":[44,72,97],"order":[45],"use":[47,154],"model-checking":[48],"techniques":[49],"establish":[51],"those":[52],"properties.":[53],"previous":[56],"paper":[57,152],"we":[58,153,198],"presented":[59],"method":[61,197],"allows":[63],"compute":[65],"modeled":[71],"decidable":[74],"logic":[75],"WS1S.":[76],"These":[77],"WS1S":[78,184],"provide":[80],"an":[81,174,182],"intuitive":[82],"way":[83],"describe":[85],"state":[90],"processes.":[91,135],"practice":[93],"however,":[94],"processes":[96,172],"network":[99],"themselves":[100],"infinite":[102],"because":[103],"unbounded":[105],"data":[106,119,164],"structures.":[107],"One":[108],"source":[109,123],"unboundedness":[111],"can":[112,187],"be":[113,125,188],"usage":[115],"structure.":[120],"Another":[121],"typical":[122],"may":[124],"presence":[127],"structures":[129],"ranging":[130],"over":[131],"subsets":[132],"participating":[134],"E.g.,":[136],"this":[137,151],"case":[140],"group":[142],"membership":[143],"or":[144],"distributed":[145,204],"shared":[146,205],"memory":[147,206],"consistency":[148,207],"protocols.":[149],"deductive":[155,213],"methods":[156],"deal":[158],"with":[159],"such":[160],"where":[162],"structure":[165],"by":[168],"number":[170],"and":[173,216,220],"extra":[175],"parameter.":[176],"We":[177],"show":[178],"how":[179],"derive":[181],"abstract":[183],"subject":[189],"algorithmic":[191,224],"verification.":[192],"For":[193],"illustration":[194],"verify":[199],"correctness":[201],"protocol":[208],"using":[209],"PVS":[210],"part":[215],"tools":[218],"PAX":[219],"SMV":[221],"part.":[225]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}