SemOpenAlex |

SemOpenAlex

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

Showing items 1 to 100 of ±106 with 100 items per page.

W54354338 abstract "6 Minimal Structures as Quotients 17 6.1 Example 1: A Communication Protocol . . . . . . . . . . . . . . 21 6.2 Example 2: The Alternating Bit Protocol . . . . . . . . . . . . . 24 6.3 Example 1 Revisited . . . . . . . . . . . . . . . . . . . . . . . . . 29 6.4 Readers and Writers Revisited . . . . . . . . . . . . . . . . . . . 30 6.5 The Bakery Protocol Revisited . . . . . . . . . . . . . . . . . . . 31" @default.
W54354338 created "2016-06-24" @default.
W54354338 creator A5030909241 @default.
W54354338 creator A5032430181 @default.
W54354338 creator A5076184186 @default.
W54354338 date "2003-12-08" @default.
W54354338 modified "2023-09-24" @default.
W54354338 title "Notes on Model Checking and Abstraction in Rewriting Logic" @default.
W54354338 cites W1491913687 @default.
W54354338 cites W1501731334 @default.
W54354338 cites W1502837501 @default.
W54354338 cites W1506588809 @default.
W54354338 cites W1513444661 @default.
W54354338 cites W1515352270 @default.
W54354338 cites W1530666819 @default.
W54354338 cites W1551246917 @default.
W54354338 cites W1593428110 @default.
W54354338 cites W1678943029 @default.
W54354338 cites W1815217284 @default.
W54354338 cites W1825148885 @default.
W54354338 cites W1976195354 @default.
W54354338 cites W1978358700 @default.
W54354338 cites W1987073197 @default.
W54354338 cites W2001487918 @default.
W54354338 cites W2010651876 @default.
W54354338 cites W2012001501 @default.
W54354338 cites W2027755003 @default.
W54354338 cites W2047406870 @default.
W54354338 cites W2066680644 @default.
W54354338 cites W2070908350 @default.
W54354338 cites W2079680418 @default.
W54354338 cites W2080593426 @default.
W54354338 cites W2090106217 @default.
W54354338 cites W2093916942 @default.
W54354338 cites W2099184861 @default.
W54354338 cites W2127574686 @default.
W54354338 cites W2134287022 @default.
W54354338 cites W2158395308 @default.
W54354338 cites W2913459036 @default.
W54354338 cites W2535608263 @default.
W54354338 hasPublicationYear "2003" @default.
W54354338 type Work @default.
W54354338 sameAs 54354338 @default.
W54354338 citedByCount "1" @default.
W54354338 countsByYear W543543382012 @default.
W54354338 crossrefType "journal-article" @default.
W54354338 hasAuthorship W54354338A5030909241 @default.
W54354338 hasAuthorship W54354338A5032430181 @default.
W54354338 hasAuthorship W54354338A5076184186 @default.
W54354338 hasConcept C110251889 @default.
W54354338 hasConcept C111472728 @default.
W54354338 hasConcept C114614502 @default.
W54354338 hasConcept C124304363 @default.
W54354338 hasConcept C138885662 @default.
W54354338 hasConcept C142724271 @default.
W54354338 hasConcept C154690210 @default.
W54354338 hasConcept C199360897 @default.
W54354338 hasConcept C199422724 @default.
W54354338 hasConcept C204787440 @default.
W54354338 hasConcept C2780385302 @default.
W54354338 hasConcept C33923547 @default.
W54354338 hasConcept C41008148 @default.
W54354338 hasConcept C71924100 @default.
W54354338 hasConcept C80444323 @default.
W54354338 hasConceptScore W54354338C110251889 @default.
W54354338 hasConceptScore W54354338C111472728 @default.
W54354338 hasConceptScore W54354338C114614502 @default.
W54354338 hasConceptScore W54354338C124304363 @default.
W54354338 hasConceptScore W54354338C138885662 @default.
W54354338 hasConceptScore W54354338C142724271 @default.
W54354338 hasConceptScore W54354338C154690210 @default.
W54354338 hasConceptScore W54354338C199360897 @default.
W54354338 hasConceptScore W54354338C199422724 @default.
W54354338 hasConceptScore W54354338C204787440 @default.
W54354338 hasConceptScore W54354338C2780385302 @default.
W54354338 hasConceptScore W54354338C33923547 @default.
W54354338 hasConceptScore W54354338C41008148 @default.
W54354338 hasConceptScore W54354338C71924100 @default.
W54354338 hasConceptScore W54354338C80444323 @default.
W54354338 hasLocation W543543381 @default.
W54354338 hasOpenAccess W54354338 @default.
W54354338 hasPrimaryLocation W543543381 @default.
W54354338 hasRelatedWork W1500586386 @default.
W54354338 hasRelatedWork W1586432163 @default.
W54354338 hasRelatedWork W1971409749 @default.
W54354338 hasRelatedWork W1976985409 @default.
W54354338 hasRelatedWork W2010321110 @default.
W54354338 hasRelatedWork W2017855559 @default.
W54354338 hasRelatedWork W2030762481 @default.
W54354338 hasRelatedWork W2053342841 @default.
W54354338 hasRelatedWork W2087293319 @default.
W54354338 hasRelatedWork W2088428089 @default.
W54354338 hasRelatedWork W2106298491 @default.
W54354338 hasRelatedWork W2111874500 @default.
W54354338 hasRelatedWork W2142528518 @default.
W54354338 hasRelatedWork W2157449911 @default.
W54354338 hasRelatedWork W2295221401 @default.
W54354338 hasRelatedWork W2390014333 @default.
W54354338 hasRelatedWork W2943346267 @default.
W54354338 hasRelatedWork W2970759553 @default.