{"id":"https://openalex.org/W2569209973","doi":"https://doi.org/10.1016/0304-3975(81)90111-0","title":"Modeling a solution for a control problem in distributed systems by restrictions","display_name":"Modeling a solution for a control problem in distributed systems by restrictions","publication_year":1981,"publication_date":"1981-01-01","ids":{"openalex":"https://openalex.org/W2569209973","doi":"https://doi.org/10.1016/0304-3975(81)90111-0","mag":"2569209973"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1016/0304-3975(81)90111-0","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5111495699","display_name":"Andrea Maggiolo\u2013Schettini","orcid":null},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Maggiolo-Schettini","raw_affiliation_strings":["Unit\u00e0 di Ricerca del C.N.R.\u2013G.N.I.M., Instituto di Scienze dell' Informazione, Universit\u00e0 di Pisa, 56100 Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"Unit\u00e0 di Ricerca del C.N.R.\u2013G.N.I.M., Instituto di Scienze dell' Informazione, Universit\u00e0 di Pisa, 56100 Pisa, Italy","institution_ids":["https://openalex.org/I122991210","https://openalex.org/I108290504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035055414","display_name":"Horst F. Wedde","orcid":null},"institutions":[{"id":"https://openalex.org/I4210166048","display_name":"Gesellschaft Fur Mathematik Und Datenverarbeitung","ror":"https://ror.org/02g6d4t03","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210166048"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Horst Wedde","raw_affiliation_strings":["Gescllschaft f\u00fcr Mathematik und Darenverarbeitung, D-5205 St. Augustin 1, Fed. Rep. Germany"],"affiliations":[{"raw_affiliation_string":"Gescllschaft f\u00fcr Mathematik und Darenverarbeitung, D-5205 St. Augustin 1, Fed. Rep. Germany","institution_ids":["https://openalex.org/I4210166048"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021492778","display_name":"J\u00f3zef Winkowski","orcid":null},"institutions":[{"id":"https://openalex.org/I4210087266","display_name":"Institute of Computer Science","ror":"https://ror.org/003fvp964","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210087266","https://openalex.org/I99542240"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"J\u00f3zef Winkowski","raw_affiliation_strings":["Instytut Podstaw Informatyki PAN, 00\u2013901 Warszawa, Poland"],"affiliations":[{"raw_affiliation_string":"Instytut Podstaw Informatyki PAN, 00\u2013901 Warszawa, Poland","institution_ids":["https://openalex.org/I4210087266"]}]}],"institution_assertions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2690,"currency":"USD","value_usd":2690,"provenance":"doaj"},"apc_paid":null,"fwci":4.196,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":23,"citation_normalized_percentile":{"value":0.902432,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":89},"biblio":{"volume":"13","issue":"1","first_page":"61","last_page":"83"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed Fault Tolerance and Consistency in Systems","score":0.9973,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed Fault Tolerance and Consistency in Systems","score":0.9973,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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":"Modeling and Control of Petri Nets in Systems","score":0.9962,"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/T10142","display_name":"Formal Methods in Software Verification and Control","score":0.9956,"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/formalism","display_name":"Formalism (music)","score":0.60984164},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal Methods","score":0.538228},{"id":"https://openalex.org/keywords/distributed-systems","display_name":"Distributed Systems","score":0.526477},{"id":"https://openalex.org/keywords/discrete-event-systems","display_name":"Discrete-Event Systems","score":0.52428},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model Checking","score":0.5221},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal Logic","score":0.506957}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.79433715},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.62167794},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.60984164},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.54873866},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47220168},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.44323066},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.43359593},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40587112},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38406646},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.35670945},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.19792578},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1016/0304-3975(81)90111-0","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, justice, and strong institutions"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":7,"referenced_works":["https://openalex.org/W1522033748","https://openalex.org/W1578709298","https://openalex.org/W1579498342","https://openalex.org/W2152879290","https://openalex.org/W2219407530","https://openalex.org/W2977420678","https://openalex.org/W4206644645"],"related_works":["https://openalex.org/W4283160672","https://openalex.org/W4241418540","https://openalex.org/W35919320","https://openalex.org/W3119814709","https://openalex.org/W3008339103","https://openalex.org/W2725786787","https://openalex.org/W2404647514","https://openalex.org/W2018477250","https://openalex.org/W1667647204","https://openalex.org/W1508895727"],"abstract_inverted_index":{"For":[0,96],"an":[1,124],"independent":[2],"representation":[3],"of":[4,15,30,33,69,99],"the":[5,13,70,93,97,101,118,127,130,133],"constraints":[6,65],"on":[7],"processes":[8],"in":[9,37],"distributed":[10],"system":[11,102,132],"parts":[12],"formalism":[14],"Loosely":[16],"Coupled":[17],"Systems":[18],"is":[19,24,35,72,85,88,103,115,123,137],"recalled.":[20],"The":[21,67],"event":[22],"structure":[23],"derived":[25],"only":[26],"from":[27],"prespecified":[28],"restrictions":[29],"behaviour,":[31],"concurrency":[32],"events":[34],"described":[36],"elementary":[38],"and":[39,47,53,77,111],"local":[40],"terms.":[41],"Formal":[42],"construction":[43],"methods":[44],"(constraint":[45],"module":[46],"slack":[48],"phase":[49],"techniques)":[50],"are":[51],"defined":[52],"used":[54],"to":[55,92,105,140],"model":[56],"a":[57,60,75,109],"solution":[58,71],"for":[59],"control":[61],"problem":[62],"under":[63,126],"various":[64],"(fairness).":[66],"correctness":[68],"proved":[73,116],"using":[74],"general":[76],"new":[78],"formal":[79],"procedure:":[80],"A":[81],"restricted":[82,120,134],"case":[83,121,135],"graph":[84,122,136],"evaluated":[86],"which":[87],"minimal":[89],"with":[90],"respect":[91],"needed":[94],"information.":[95],"sake":[98],"evaluation":[100],"reduced":[104,131],"another":[106],"one":[107],"by":[108],"simple":[110,139],"efficient":[112],"algorithm.":[113,128],"It":[114],"that":[117],"wanted":[119],"invariant":[125],"In":[129],"very":[138],"compute.":[141]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2569209973","counts_by_year":[],"updated_date":"2024-11-08T10:07:55.805973","created_date":"2017-01-13"}
