FRINK Linked Data Fragments server

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

• W1889062645 abstract "We present a formal model that captures the subtle interaction between knowledge and action in distributed systems. We view a distributed system as a set of runs, where a run is a function from time to global states and a global state is a tuple consisting of an environment state and a local state for each process in the system. This model is a generalization of those used in many previous papers. Actions in this model are associated with functions from global states to global states. A protocol is a function from local states to actions. We extend the standard notion of a protocol by defining knowledge-based protocols, ones in which a process' actions may depend explicitly on its knowledge. Knowledge-based protocols provide a natural way of describing how actions should take place in a distributed system. Finally, we show how the notion of one protocol implementing another can be captured in our model." @default.
• W1889062645 created "2016-06-24" @default.
• W1889062645 creator A5027117465 @default.
• W1889062645 creator A5087025582 @default.
• W1889062645 date "1988-01-01" @default.
• W1889062645 modified "2023-09-27" @default.
• W1889062645 title "Modelling knowledge and action in distributed systems: Preliminary report" @default.
• W1889062645 cites W1490966766 @default.
• W1889062645 cites W1565044123 @default.
• W1889062645 cites W1572047767 @default.
• W1889062645 cites W1600159979 @default.
• W1889062645 cites W1889062645 @default.
• W1889062645 cites W1981983505 @default.
• W1889062645 cites W1982698719 @default.
• W1889062645 cites W1985592215 @default.
• W1889062645 cites W1988699312 @default.
• W1889062645 cites W1988777029 @default.
• W1889062645 cites W1994227541 @default.
• W1889062645 cites W1995355963 @default.
• W1889062645 cites W2004618348 @default.
• W1889062645 cites W2009844825 @default.
• W1889062645 cites W2010508644 @default.
• W1889062645 cites W2022913505 @default.
• W1889062645 cites W2023808162 @default.
• W1889062645 cites W2030451690 @default.
• W1889062645 cites W2043801088 @default.
• W1889062645 cites W2045771160 @default.
• W1889062645 cites W2049337025 @default.
• W1889062645 cites W2052990370 @default.
• W1889062645 cites W2055092188 @default.
• W1889062645 cites W2068106852 @default.
• W1889062645 cites W2092431596 @default.
• W1889062645 cites W2106622011 @default.
• W1889062645 cites W2124154404 @default.
• W1889062645 cites W2136935557 @default.
• W1889062645 cites W2137865376 @default.
• W1889062645 cites W2150320481 @default.
• W1889062645 cites W2176413683 @default.
• W1889062645 doi "https://doi.org/10.1007/3-540-50403-6_29" @default.
• W1889062645 hasPublicationYear "1988" @default.
• W1889062645 type Work @default.
• W1889062645 sameAs 1889062645 @default.
• W1889062645 citedByCount "5" @default.
• W1889062645 countsByYear W18890626452016 @default.
• W1889062645 crossrefType "book-chapter" @default.
• W1889062645 hasAuthorship W1889062645A5027117465 @default.
• W1889062645 hasAuthorship W1889062645A5087025582 @default.
• W1889062645 hasConcept C11413529 @default.
• W1889062645 hasConcept C118615104 @default.
• W1889062645 hasConcept C118930307 @default.
• W1889062645 hasConcept C120314980 @default.
• W1889062645 hasConcept C121332964 @default.
• W1889062645 hasConcept C134306372 @default.
• W1889062645 hasConcept C14036430 @default.
• W1889062645 hasConcept C142724271 @default.
• W1889062645 hasConcept C154945302 @default.
• W1889062645 hasConcept C177148314 @default.
• W1889062645 hasConcept C177264268 @default.
• W1889062645 hasConcept C199360897 @default.
• W1889062645 hasConcept C204787440 @default.
• W1889062645 hasConcept C2780385302 @default.
• W1889062645 hasConcept C2780791683 @default.
• W1889062645 hasConcept C33923547 @default.
• W1889062645 hasConcept C41008148 @default.
• W1889062645 hasConcept C48103436 @default.
• W1889062645 hasConcept C62520636 @default.
• W1889062645 hasConcept C71924100 @default.
• W1889062645 hasConcept C78458016 @default.
• W1889062645 hasConcept C80444323 @default.
• W1889062645 hasConcept C86803240 @default.
• W1889062645 hasConcept C98045186 @default.
• W1889062645 hasConceptScore W1889062645C11413529 @default.
• W1889062645 hasConceptScore W1889062645C118615104 @default.
• W1889062645 hasConceptScore W1889062645C118930307 @default.
• W1889062645 hasConceptScore W1889062645C120314980 @default.
• W1889062645 hasConceptScore W1889062645C121332964 @default.
• W1889062645 hasConceptScore W1889062645C134306372 @default.
• W1889062645 hasConceptScore W1889062645C14036430 @default.
• W1889062645 hasConceptScore W1889062645C142724271 @default.
• W1889062645 hasConceptScore W1889062645C154945302 @default.
• W1889062645 hasConceptScore W1889062645C177148314 @default.
• W1889062645 hasConceptScore W1889062645C177264268 @default.
• W1889062645 hasConceptScore W1889062645C199360897 @default.
• W1889062645 hasConceptScore W1889062645C204787440 @default.
• W1889062645 hasConceptScore W1889062645C2780385302 @default.
• W1889062645 hasConceptScore W1889062645C2780791683 @default.
• W1889062645 hasConceptScore W1889062645C33923547 @default.
• W1889062645 hasConceptScore W1889062645C41008148 @default.
• W1889062645 hasConceptScore W1889062645C48103436 @default.
• W1889062645 hasConceptScore W1889062645C62520636 @default.
• W1889062645 hasConceptScore W1889062645C71924100 @default.
• W1889062645 hasConceptScore W1889062645C78458016 @default.
• W1889062645 hasConceptScore W1889062645C80444323 @default.
• W1889062645 hasConceptScore W1889062645C86803240 @default.
• W1889062645 hasConceptScore W1889062645C98045186 @default.
• W1889062645 hasLocation W18890626451 @default.
• W1889062645 hasOpenAccess W1889062645 @default.
• W1889062645 hasPrimaryLocation W18890626451 @default.
• W1889062645 hasRelatedWork W1501654967 @default.
• W1889062645 hasRelatedWork W152016706 @default.

• next