Matches in SemOpenAlex for { <https://semopenalex.org/work/W1198182> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1198182 endingPage "149" @default.
- W1198182 startingPage "115" @default.
- W1198182 abstract "Dans ce travail on developpe un formalisme logique qui permet de formuler et de prouver des proprietes de systemes repartis a etats finis. Ce formalisme se base sur la notion de «branching time» et s'appelle Typed Temporal Logic (TTL). Pour un systeme reparti D on introduit deux theories de TTL, c'est-a-dire LLT D et LGTT D (Local Time Theory et Local and Global Time Theory of D, respectivement). La theorie LTT D permet de specifier des systemes repartis par des axiomes locaux, c'est-a-dire proprietes qui sont vraies par rapport a des observations locales de parties de systemes" @default.
- W1198182 created "2016-06-24" @default.
- W1198182 creator A5060055067 @default.
- W1198182 creator A5085606339 @default.
- W1198182 date "1992-01-01" @default.
- W1198182 modified "2023-10-17" @default.
- W1198182 title "TTL : a formalism to describe local and global properties of distributed systems" @default.
- W1198182 cites W1512512905 @default.
- W1198182 cites W1523434988 @default.
- W1198182 cites W1524991160 @default.
- W1198182 cites W1597925378 @default.
- W1198182 cites W1994046115 @default.
- W1198182 cites W2000138546 @default.
- W1198182 cites W2004306067 @default.
- W1198182 cites W2030926579 @default.
- W1198182 cites W2035845010 @default.
- W1198182 cites W2035959929 @default.
- W1198182 cites W2040127143 @default.
- W1198182 cites W2048355938 @default.
- W1198182 cites W2062458205 @default.
- W1198182 cites W2067441543 @default.
- W1198182 cites W2072887965 @default.
- W1198182 cites W2087718129 @default.
- W1198182 cites W2117189826 @default.
- W1198182 cites W2137467159 @default.
- W1198182 cites W4231113774 @default.
- W1198182 doi "https://doi.org/10.1051/ita/1992260201151" @default.
- W1198182 hasPublicationYear "1992" @default.
- W1198182 type Work @default.
- W1198182 sameAs 1198182 @default.
- W1198182 citedByCount "4" @default.
- W1198182 crossrefType "journal-article" @default.
- W1198182 hasAuthorship W1198182A5060055067 @default.
- W1198182 hasAuthorship W1198182A5085606339 @default.
- W1198182 hasBestOaLocation W11981821 @default.
- W1198182 hasConcept C120314980 @default.
- W1198182 hasConcept C142362112 @default.
- W1198182 hasConcept C153349607 @default.
- W1198182 hasConcept C41008148 @default.
- W1198182 hasConcept C558565934 @default.
- W1198182 hasConcept C73301696 @default.
- W1198182 hasConcept C80444323 @default.
- W1198182 hasConceptScore W1198182C120314980 @default.
- W1198182 hasConceptScore W1198182C142362112 @default.
- W1198182 hasConceptScore W1198182C153349607 @default.
- W1198182 hasConceptScore W1198182C41008148 @default.
- W1198182 hasConceptScore W1198182C558565934 @default.
- W1198182 hasConceptScore W1198182C73301696 @default.
- W1198182 hasConceptScore W1198182C80444323 @default.
- W1198182 hasIssue "2" @default.
- W1198182 hasLocation W11981821 @default.
- W1198182 hasLocation W11981822 @default.
- W1198182 hasLocation W11981823 @default.
- W1198182 hasOpenAccess W1198182 @default.
- W1198182 hasPrimaryLocation W11981821 @default.
- W1198182 hasRelatedWork W1485627940 @default.
- W1198182 hasRelatedWork W1596201972 @default.
- W1198182 hasRelatedWork W1598943142 @default.
- W1198182 hasRelatedWork W1986253068 @default.
- W1198182 hasRelatedWork W2152433827 @default.
- W1198182 hasRelatedWork W2160425906 @default.
- W1198182 hasRelatedWork W2348852432 @default.
- W1198182 hasRelatedWork W2385146268 @default.
- W1198182 hasRelatedWork W2899486387 @default.
- W1198182 hasRelatedWork W4313054100 @default.
- W1198182 hasVolume "26" @default.
- W1198182 isParatext "false" @default.
- W1198182 isRetracted "false" @default.
- W1198182 magId "1198182" @default.
- W1198182 workType "article" @default.