Matches in SemOpenAlex for { <https://semopenalex.org/work/W62756867> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W62756867 abstract "As another example for the NTASM approach, let us describe and analyze Fischer’s real-time based synchronization protocol [Lam87]. It is meant to ensure mutual exclusion of access to commonly used resources via real-time properties of a shared variable. The idea is to use just one shared variable (which we call v) for coordinating the access to the critical section. The variable can contain a process id or some neutral value (which we call noProc). When a process wants to enter its critical section, it first has to wait until v=noProc; then it sets v to its process id, waits some time, and then reads v again. If v has kept the old value, i.e., the id of the process considered, the process may enter its critical section; on leaving the critical section, v is set to noProc again. If v has not kept its old value, the attempt has failed and the process must go back and wait again till v=noProc." @default.
- W62756867 created "2016-06-24" @default.
- W62756867 creator A5037430970 @default.
- W62756867 date "2005-01-01" @default.
- W62756867 modified "2023-10-03" @default.
- W62756867 title "A Case Study: Fischer’s Protocol" @default.
- W62756867 doi "https://doi.org/10.1007/978-3-540-32008-1_13" @default.
- W62756867 hasPublicationYear "2005" @default.
- W62756867 type Work @default.
- W62756867 sameAs 62756867 @default.
- W62756867 citedByCount "1" @default.
- W62756867 countsByYear W627568672018 @default.
- W62756867 crossrefType "book-chapter" @default.
- W62756867 hasAuthorship W62756867A5037430970 @default.
- W62756867 hasConcept C111919701 @default.
- W62756867 hasConcept C119857082 @default.
- W62756867 hasConcept C120314980 @default.
- W62756867 hasConcept C124343487 @default.
- W62756867 hasConcept C127162648 @default.
- W62756867 hasConcept C134306372 @default.
- W62756867 hasConcept C142724271 @default.
- W62756867 hasConcept C182365436 @default.
- W62756867 hasConcept C204787440 @default.
- W62756867 hasConcept C2776291640 @default.
- W62756867 hasConcept C2778562939 @default.
- W62756867 hasConcept C2780129039 @default.
- W62756867 hasConcept C2780385302 @default.
- W62756867 hasConcept C31258907 @default.
- W62756867 hasConcept C33923547 @default.
- W62756867 hasConcept C41008148 @default.
- W62756867 hasConcept C56348326 @default.
- W62756867 hasConcept C71924100 @default.
- W62756867 hasConcept C98045186 @default.
- W62756867 hasConceptScore W62756867C111919701 @default.
- W62756867 hasConceptScore W62756867C119857082 @default.
- W62756867 hasConceptScore W62756867C120314980 @default.
- W62756867 hasConceptScore W62756867C124343487 @default.
- W62756867 hasConceptScore W62756867C127162648 @default.
- W62756867 hasConceptScore W62756867C134306372 @default.
- W62756867 hasConceptScore W62756867C142724271 @default.
- W62756867 hasConceptScore W62756867C182365436 @default.
- W62756867 hasConceptScore W62756867C204787440 @default.
- W62756867 hasConceptScore W62756867C2776291640 @default.
- W62756867 hasConceptScore W62756867C2778562939 @default.
- W62756867 hasConceptScore W62756867C2780129039 @default.
- W62756867 hasConceptScore W62756867C2780385302 @default.
- W62756867 hasConceptScore W62756867C31258907 @default.
- W62756867 hasConceptScore W62756867C33923547 @default.
- W62756867 hasConceptScore W62756867C41008148 @default.
- W62756867 hasConceptScore W62756867C56348326 @default.
- W62756867 hasConceptScore W62756867C71924100 @default.
- W62756867 hasConceptScore W62756867C98045186 @default.
- W62756867 hasLocation W627568671 @default.
- W62756867 hasOpenAccess W62756867 @default.
- W62756867 hasPrimaryLocation W627568671 @default.
- W62756867 hasRelatedWork W1500064003 @default.
- W62756867 hasRelatedWork W196405095 @default.
- W62756867 hasRelatedWork W1979799094 @default.
- W62756867 hasRelatedWork W2049172720 @default.
- W62756867 hasRelatedWork W2367692707 @default.
- W62756867 hasRelatedWork W2370697888 @default.
- W62756867 hasRelatedWork W2373532818 @default.
- W62756867 hasRelatedWork W2375403706 @default.
- W62756867 hasRelatedWork W2389524614 @default.
- W62756867 hasRelatedWork W2562070253 @default.
- W62756867 isParatext "false" @default.
- W62756867 isRetracted "false" @default.
- W62756867 magId "62756867" @default.
- W62756867 workType "book-chapter" @default.