FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W143018197> ?p ?o ?g. }

• W143018197 abstract "We report on recent research lines related to parameterized verification and model checking applied to formal models of distributed algorithms. Both approaches are based on graph rewriting and graph transformation systems. Case-studies include distributed mutual exclusion protocols like Ricart-Agrawala, routing protocols like link reversal, and distributed consensus protocols like Paxos. Verification algorithms for restricted classes of models exploit finite-state abstractions, symbolic representations based on graph orderings, the theory of well-structured transition systems, and reachability algorithms based on labeling procedures." @default.
• W143018197 created "2016-06-24" @default.
• W143018197 creator A5071901297 @default.
• W143018197 date "2014-01-01" @default.
• W143018197 modified "2023-09-26" @default.
• W143018197 title "Parameterized Verification and Model Checking for Distributed Broadcast Protocols" @default.
• W143018197 cites W1042701259 @default.
• W143018197 cites W111201530 @default.
• W143018197 cites W1362128 @default.
• W143018197 cites W1483980066 @default.
• W143018197 cites W1486307217 @default.
• W143018197 cites W1496749443 @default.
• W143018197 cites W1508360721 @default.
• W143018197 cites W150837278 @default.
• W143018197 cites W1514415753 @default.
• W143018197 cites W1520747973 @default.
• W143018197 cites W152809744 @default.
• W143018197 cites W1538434844 @default.
• W143018197 cites W1552190776 @default.
• W143018197 cites W1569472630 @default.
• W143018197 cites W16257490 @default.
• W143018197 cites W1650107222 @default.
• W143018197 cites W1681015847 @default.
• W143018197 cites W1875437173 @default.
• W143018197 cites W1936144616 @default.
• W143018197 cites W1967174286 @default.
• W143018197 cites W1970924393 @default.
• W143018197 cites W1986649132 @default.
• W143018197 cites W1988827593 @default.
• W143018197 cites W1990328104 @default.
• W143018197 cites W2017872109 @default.
• W143018197 cites W2035362408 @default.
• W143018197 cites W2036526834 @default.
• W143018197 cites W2050304663 @default.
• W143018197 cites W2057593151 @default.
• W143018197 cites W2073918004 @default.
• W143018197 cites W2075854425 @default.
• W143018197 cites W2081396910 @default.
• W143018197 cites W2090757722 @default.
• W143018197 cites W2109318253 @default.
• W143018197 cites W2131753537 @default.
• W143018197 cites W2140909660 @default.
• W143018197 cites W2149493230 @default.
• W143018197 cites W2157901438 @default.
• W143018197 cites W3124744922 @default.
• W143018197 cites W3146760387 @default.
• W143018197 cites W80629733 @default.
• W143018197 cites W90060165 @default.
• W143018197 doi "https://doi.org/10.1007/978-3-319-09108-2_1" @default.
• W143018197 hasPublicationYear "2014" @default.
• W143018197 type Work @default.
• W143018197 sameAs 143018197 @default.
• W143018197 citedByCount "2" @default.
• W143018197 countsByYear W1430181972015 @default.
• W143018197 countsByYear W1430181972017 @default.
• W143018197 crossrefType "book-chapter" @default.
• W143018197 hasAuthorship W143018197A5071901297 @default.
• W143018197 hasConcept C110251889 @default.
• W143018197 hasConcept C111498074 @default.
• W143018197 hasConcept C11413529 @default.
• W143018197 hasConcept C120314980 @default.
• W143018197 hasConcept C130120984 @default.
• W143018197 hasConcept C132525143 @default.
• W143018197 hasConcept C136643341 @default.
• W143018197 hasConcept C154690210 @default.
• W143018197 hasConcept C165464430 @default.
• W143018197 hasConcept C165696696 @default.
• W143018197 hasConcept C199360897 @default.
• W143018197 hasConcept C38652104 @default.
• W143018197 hasConcept C41008148 @default.
• W143018197 hasConcept C558772884 @default.
• W143018197 hasConcept C56348326 @default.
• W143018197 hasConcept C80444323 @default.
• W143018197 hasConceptScore W143018197C110251889 @default.
• W143018197 hasConceptScore W143018197C111498074 @default.
• W143018197 hasConceptScore W143018197C11413529 @default.
• W143018197 hasConceptScore W143018197C120314980 @default.
• W143018197 hasConceptScore W143018197C130120984 @default.
• W143018197 hasConceptScore W143018197C132525143 @default.
• W143018197 hasConceptScore W143018197C136643341 @default.
• W143018197 hasConceptScore W143018197C154690210 @default.
• W143018197 hasConceptScore W143018197C165464430 @default.
• W143018197 hasConceptScore W143018197C165696696 @default.
• W143018197 hasConceptScore W143018197C199360897 @default.
• W143018197 hasConceptScore W143018197C38652104 @default.
• W143018197 hasConceptScore W143018197C41008148 @default.
• W143018197 hasConceptScore W143018197C558772884 @default.
• W143018197 hasConceptScore W143018197C56348326 @default.
• W143018197 hasConceptScore W143018197C80444323 @default.
• W143018197 hasLocation W1430181971 @default.
• W143018197 hasOpenAccess W143018197 @default.
• W143018197 hasPrimaryLocation W1430181971 @default.
• W143018197 hasRelatedWork W1492683468 @default.
• W143018197 hasRelatedWork W1496424806 @default.
• W143018197 hasRelatedWork W1516288898 @default.
• W143018197 hasRelatedWork W1529696074 @default.
• W143018197 hasRelatedWork W1531715720 @default.
• W143018197 hasRelatedWork W1541174442 @default.
• W143018197 hasRelatedWork W1541426137 @default.
• W143018197 hasRelatedWork W1558598345 @default.

• next