Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155382208> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2155382208 endingPage "404" @default.
- W2155382208 startingPage "383" @default.
- W2155382208 abstract "In this paper we consider two descriptions in Maude of the leader election protocol from the IEEE 1394 serial multimedia bus. Particularly, the time aspects of the protocol are studied. The descriptions are first validated by an exhaustive exploration of all the possible behaviors and states reachable from an initial configuration of a network, checking that always only one leader is chosen. As a final step for proving the correctness of the protocol we give a formal proof showing that the desirable properties of the protocol are always fulfilled." @default.
- W2155382208 created "2016-06-24" @default.
- W2155382208 creator A5017607278 @default.
- W2155382208 creator A5034342549 @default.
- W2155382208 creator A5051294295 @default.
- W2155382208 date "2000-01-01" @default.
- W2155382208 modified "2023-10-01" @default.
- W2155382208 title "The Leader Election Protocol of IEEE 1394 in Maude⋆ ⋆Research supported by CICYT project Desarrollo Formal de Sistemas Distribuidos (TIC97-0669-C03-01)." @default.
- W2155382208 cites W1538233900 @default.
- W2155382208 cites W1976195354 @default.
- W2155382208 cites W2020923285 @default.
- W2155382208 cites W2032732582 @default.
- W2155382208 cites W2034496592 @default.
- W2155382208 cites W2079655685 @default.
- W2155382208 cites W4239600808 @default.
- W2155382208 doi "https://doi.org/10.1016/s1571-0661(05)80133-1" @default.
- W2155382208 hasPublicationYear "2000" @default.
- W2155382208 type Work @default.
- W2155382208 sameAs 2155382208 @default.
- W2155382208 citedByCount "3" @default.
- W2155382208 countsByYear W21553822082020 @default.
- W2155382208 crossrefType "journal-article" @default.
- W2155382208 hasAuthorship W2155382208A5017607278 @default.
- W2155382208 hasAuthorship W2155382208A5034342549 @default.
- W2155382208 hasAuthorship W2155382208A5051294295 @default.
- W2155382208 hasBestOaLocation W21553822081 @default.
- W2155382208 hasConcept C111919701 @default.
- W2155382208 hasConcept C120314980 @default.
- W2155382208 hasConcept C142724271 @default.
- W2155382208 hasConcept C199360897 @default.
- W2155382208 hasConcept C204787440 @default.
- W2155382208 hasConcept C2780385302 @default.
- W2155382208 hasConcept C41008148 @default.
- W2155382208 hasConcept C53480672 @default.
- W2155382208 hasConcept C55439883 @default.
- W2155382208 hasConcept C71924100 @default.
- W2155382208 hasConcept C80444323 @default.
- W2155382208 hasConceptScore W2155382208C111919701 @default.
- W2155382208 hasConceptScore W2155382208C120314980 @default.
- W2155382208 hasConceptScore W2155382208C142724271 @default.
- W2155382208 hasConceptScore W2155382208C199360897 @default.
- W2155382208 hasConceptScore W2155382208C204787440 @default.
- W2155382208 hasConceptScore W2155382208C2780385302 @default.
- W2155382208 hasConceptScore W2155382208C41008148 @default.
- W2155382208 hasConceptScore W2155382208C53480672 @default.
- W2155382208 hasConceptScore W2155382208C55439883 @default.
- W2155382208 hasConceptScore W2155382208C71924100 @default.
- W2155382208 hasConceptScore W2155382208C80444323 @default.
- W2155382208 hasLocation W21553822081 @default.
- W2155382208 hasOpenAccess W2155382208 @default.
- W2155382208 hasPrimaryLocation W21553822081 @default.
- W2155382208 hasRelatedWork W1516169988 @default.
- W2155382208 hasRelatedWork W1527459483 @default.
- W2155382208 hasRelatedWork W2024218563 @default.
- W2155382208 hasRelatedWork W2083338789 @default.
- W2155382208 hasRelatedWork W2155382208 @default.
- W2155382208 hasRelatedWork W3091728393 @default.
- W2155382208 hasRelatedWork W4232971184 @default.
- W2155382208 hasRelatedWork W4238823939 @default.
- W2155382208 hasRelatedWork W4243553186 @default.
- W2155382208 hasRelatedWork W2789178056 @default.
- W2155382208 hasVolume "36" @default.
- W2155382208 isParatext "false" @default.
- W2155382208 isRetracted "false" @default.
- W2155382208 magId "2155382208" @default.
- W2155382208 workType "article" @default.