FRINK Linked Data Fragments server

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

• W1488718410 abstract "We propose an extension of the model of Broadcast Protocols in which individual processes are allowed to have unbounded local data and to communicate via value passing. Our specification language is based on multiset rewriting over first order atomic formulas enriched with a mechanism for global synchronization to model broadcasts, and constraints to model the relations over internal data and value passing. For this new class of parameterized systems, we provide a symbolic validation procedure for checking safety properties, and termination conditions defined on special classes of multiset rewriting systems with linear constraints. We report here on practical experiments with coherence protocols for virtual shared memory, and multiprocessors systems in which the number of processors, pages or cache lines are left as parameters." @default.
• W1488718410 created "2016-06-24" @default.
• W1488718410 creator A5071901297 @default.
• W1488718410 creator A5076775585 @default.
• W1488718410 date "2002-01-01" @default.
• W1488718410 modified "2023-09-28" @default.
• W1488718410 title "Algorithmic Verification of Invalidation-Based Protocols" @default.
• W1488718410 cites W1536946401 @default.
• W1488718410 cites W1564286197 @default.
• W1488718410 cites W1567137300 @default.
• W1488718410 cites W1582650717 @default.
• W1488718410 cites W1588072091 @default.
• W1488718410 cites W1605302571 @default.
• W1488718410 cites W1783679080 @default.
• W1488718410 cites W1861590051 @default.
• W1488718410 cites W1913196744 @default.
• W1488718410 cites W1926085771 @default.
• W1488718410 cites W1967174286 @default.
• W1488718410 cites W1975425602 @default.
• W1488718410 cites W2031717789 @default.
• W1488718410 cites W2044902313 @default.
• W1488718410 cites W2053685668 @default.
• W1488718410 cites W2076508310 @default.
• W1488718410 cites W2083344324 @default.
• W1488718410 cites W2106626405 @default.
• W1488718410 cites W2118670643 @default.
• W1488718410 cites W2129073086 @default.
• W1488718410 cites W2131895477 @default.
• W1488718410 doi "https://doi.org/10.1007/3-540-45657-0_22" @default.
• W1488718410 hasPublicationYear "2002" @default.
• W1488718410 type Work @default.
• W1488718410 sameAs 1488718410 @default.
• W1488718410 citedByCount "6" @default.
• W1488718410 crossrefType "book-chapter" @default.
• W1488718410 hasAuthorship W1488718410A5071901297 @default.
• W1488718410 hasAuthorship W1488718410A5076775585 @default.
• W1488718410 hasBestOaLocation W14887184101 @default.
• W1488718410 hasConcept C110251889 @default.
• W1488718410 hasConcept C11413529 @default.
• W1488718410 hasConcept C114614502 @default.
• W1488718410 hasConcept C115537543 @default.
• W1488718410 hasConcept C127162648 @default.
• W1488718410 hasConcept C141917322 @default.
• W1488718410 hasConcept C154690210 @default.
• W1488718410 hasConcept C165464430 @default.
• W1488718410 hasConcept C173608175 @default.
• W1488718410 hasConcept C189783530 @default.
• W1488718410 hasConcept C199360897 @default.
• W1488718410 hasConcept C2778029271 @default.
• W1488718410 hasConcept C2778562939 @default.
• W1488718410 hasConcept C2779623528 @default.
• W1488718410 hasConcept C31258907 @default.
• W1488718410 hasConcept C33923547 @default.
• W1488718410 hasConcept C38556500 @default.
• W1488718410 hasConcept C41008148 @default.
• W1488718410 hasConcept C80444323 @default.
• W1488718410 hasConceptScore W1488718410C110251889 @default.
• W1488718410 hasConceptScore W1488718410C11413529 @default.
• W1488718410 hasConceptScore W1488718410C114614502 @default.
• W1488718410 hasConceptScore W1488718410C115537543 @default.
• W1488718410 hasConceptScore W1488718410C127162648 @default.
• W1488718410 hasConceptScore W1488718410C141917322 @default.
• W1488718410 hasConceptScore W1488718410C154690210 @default.
• W1488718410 hasConceptScore W1488718410C165464430 @default.
• W1488718410 hasConceptScore W1488718410C173608175 @default.
• W1488718410 hasConceptScore W1488718410C189783530 @default.
• W1488718410 hasConceptScore W1488718410C199360897 @default.
• W1488718410 hasConceptScore W1488718410C2778029271 @default.
• W1488718410 hasConceptScore W1488718410C2778562939 @default.
• W1488718410 hasConceptScore W1488718410C2779623528 @default.
• W1488718410 hasConceptScore W1488718410C31258907 @default.
• W1488718410 hasConceptScore W1488718410C33923547 @default.
• W1488718410 hasConceptScore W1488718410C38556500 @default.
• W1488718410 hasConceptScore W1488718410C41008148 @default.
• W1488718410 hasConceptScore W1488718410C80444323 @default.
• W1488718410 hasLocation W14887184101 @default.
• W1488718410 hasOpenAccess W1488718410 @default.
• W1488718410 hasPrimaryLocation W14887184101 @default.
• W1488718410 hasRelatedWork W1446664990 @default.
• W1488718410 hasRelatedWork W1538316268 @default.
• W1488718410 hasRelatedWork W1547793878 @default.
• W1488718410 hasRelatedWork W1549588850 @default.
• W1488718410 hasRelatedWork W1563672640 @default.
• W1488718410 hasRelatedWork W1967174286 @default.
• W1488718410 hasRelatedWork W2127099270 @default.
• W1488718410 hasRelatedWork W2159756689 @default.
• W1488718410 hasRelatedWork W2260751206 @default.
• W1488718410 hasRelatedWork W2330597842 @default.
• W1488718410 hasRelatedWork W2404559819 @default.
• W1488718410 hasRelatedWork W2520679576 @default.
• W1488718410 hasRelatedWork W253208060 @default.
• W1488718410 hasRelatedWork W2549993418 @default.
• W1488718410 hasRelatedWork W2804229365 @default.
• W1488718410 hasRelatedWork W28284498 @default.
• W1488718410 hasRelatedWork W2915006021 @default.
• W1488718410 hasRelatedWork W3046054412 @default.
• W1488718410 hasRelatedWork W3213518371 @default.
• W1488718410 hasRelatedWork W2184555231 @default.
• W1488718410 isParatext "false" @default.
• W1488718410 isRetracted "false" @default.

• next