FRINK Linked Data Fragments server

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

• W2139659447 abstract "Delta-4 is an open dependable distributed computing systems architecture, in which fault-tolerance is achieved by means of replication of run-time software components on host computers interconnected by a local area network. The authors discuss the coordination of active replicas executing either in a fail-silent host computer environment, or in a full-uncontrolled environment. This coordination is carried out by a specific protocol, the inter replica protocol (IRp). The IRp was implemented in various Delta-4 prototypes. The protocol, the service it delivers, and the environment assumptions were formally specified. The specifications were formally verified for consistency by model checking techniques. The formal specification and verification of IRp are considered. Some implementation details and results of performance tests are given.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
• W2139659447 created "2016-06-24" @default.
• W2139659447 creator A5018661382 @default.
• W2139659447 creator A5027174541 @default.
• W2139659447 creator A5028841677 @default.
• W2139659447 creator A5069318042 @default.
• W2139659447 creator A5039842635 @default.
• W2139659447 date "2003-01-02" @default.
• W2139659447 modified "2023-09-25" @default.
• W2139659447 title "Active replication in Delta-4" @default.
• W2139659447 cites W1483806673 @default.
• W2139659447 cites W1750502717 @default.
• W2139659447 cites W1929762880 @default.
• W2139659447 cites W2007748565 @default.
• W2139659447 cites W2042851811 @default.
• W2139659447 cites W2102526983 @default.
• W2139659447 cites W2109739361 @default.
• W2139659447 cites W2148126050 @default.
• W2139659447 cites W2152465173 @default.
• W2139659447 cites W2157893022 @default.
• W2139659447 cites W2159481784 @default.
• W2139659447 cites W2159543655 @default.
• W2139659447 cites W4231195072 @default.
• W2139659447 cites W4237150273 @default.
• W2139659447 doi "https://doi.org/10.1109/ftcs.1992.243618" @default.
• W2139659447 hasPublicationYear "2003" @default.
• W2139659447 type Work @default.
• W2139659447 sameAs 2139659447 @default.
• W2139659447 citedByCount "75" @default.
• W2139659447 countsByYear W21396594472012 @default.
• W2139659447 countsByYear W21396594472014 @default.
• W2139659447 countsByYear W21396594472015 @default.
• W2139659447 countsByYear W21396594472016 @default.
• W2139659447 countsByYear W21396594472018 @default.
• W2139659447 countsByYear W21396594472020 @default.
• W2139659447 crossrefType "proceedings-article" @default.
• W2139659447 hasAuthorship W2139659447A5018661382 @default.
• W2139659447 hasAuthorship W2139659447A5027174541 @default.
• W2139659447 hasAuthorship W2139659447A5028841677 @default.
• W2139659447 hasAuthorship W2139659447A5039842635 @default.
• W2139659447 hasAuthorship W2139659447A5069318042 @default.
• W2139659447 hasConcept C105795698 @default.
• W2139659447 hasConcept C111919701 @default.
• W2139659447 hasConcept C116253237 @default.
• W2139659447 hasConcept C120314980 @default.
• W2139659447 hasConcept C12590798 @default.
• W2139659447 hasConcept C126831891 @default.
• W2139659447 hasConcept C142362112 @default.
• W2139659447 hasConcept C142724271 @default.
• W2139659447 hasConcept C153349607 @default.
• W2139659447 hasConcept C154945302 @default.
• W2139659447 hasConcept C18903297 @default.
• W2139659447 hasConcept C199360897 @default.
• W2139659447 hasConcept C204787440 @default.
• W2139659447 hasConcept C2775937380 @default.
• W2139659447 hasConcept C2776436953 @default.
• W2139659447 hasConcept C2777904410 @default.
• W2139659447 hasConcept C2780385302 @default.
• W2139659447 hasConcept C33923547 @default.
• W2139659447 hasConcept C41008148 @default.
• W2139659447 hasConcept C63540848 @default.
• W2139659447 hasConcept C71924100 @default.
• W2139659447 hasConcept C86803240 @default.
• W2139659447 hasConceptScore W2139659447C105795698 @default.
• W2139659447 hasConceptScore W2139659447C111919701 @default.
• W2139659447 hasConceptScore W2139659447C116253237 @default.
• W2139659447 hasConceptScore W2139659447C120314980 @default.
• W2139659447 hasConceptScore W2139659447C12590798 @default.
• W2139659447 hasConceptScore W2139659447C126831891 @default.
• W2139659447 hasConceptScore W2139659447C142362112 @default.
• W2139659447 hasConceptScore W2139659447C142724271 @default.
• W2139659447 hasConceptScore W2139659447C153349607 @default.
• W2139659447 hasConceptScore W2139659447C154945302 @default.
• W2139659447 hasConceptScore W2139659447C18903297 @default.
• W2139659447 hasConceptScore W2139659447C199360897 @default.
• W2139659447 hasConceptScore W2139659447C204787440 @default.
• W2139659447 hasConceptScore W2139659447C2775937380 @default.
• W2139659447 hasConceptScore W2139659447C2776436953 @default.
• W2139659447 hasConceptScore W2139659447C2777904410 @default.
• W2139659447 hasConceptScore W2139659447C2780385302 @default.
• W2139659447 hasConceptScore W2139659447C33923547 @default.
• W2139659447 hasConceptScore W2139659447C41008148 @default.
• W2139659447 hasConceptScore W2139659447C63540848 @default.
• W2139659447 hasConceptScore W2139659447C71924100 @default.
• W2139659447 hasConceptScore W2139659447C86803240 @default.
• W2139659447 hasLocation W21396594471 @default.
• W2139659447 hasOpenAccess W2139659447 @default.
• W2139659447 hasPrimaryLocation W21396594471 @default.
• W2139659447 hasRelatedWork W1483116698 @default.
• W2139659447 hasRelatedWork W1561691513 @default.
• W2139659447 hasRelatedWork W2003053453 @default.
• W2139659447 hasRelatedWork W2143533292 @default.
• W2139659447 hasRelatedWork W2154790258 @default.
• W2139659447 hasRelatedWork W2185289585 @default.
• W2139659447 hasRelatedWork W2362272498 @default.
• W2139659447 hasRelatedWork W298141509 @default.
• W2139659447 hasRelatedWork W94119986 @default.
• W2139659447 hasRelatedWork W2184699227 @default.
• W2139659447 isParatext "false" @default.
• W2139659447 isRetracted "false" @default.

• next