5 papers:
- CHI-2014-ProbstLHSS #gesture #interactive #ubiquitous
- A chair as ubiquitous input device: exploring semaphoric chair gestures for focused and peripheral interaction (KP, DL, MH, BS, AS), pp. 4097–4106.
- ITiCSE-2006-SchreyerW #automaton #finite #modelling #problem
- Finite automata models for CS problem with binary semaphore (BS, WW), p. 330.
- ITiCSE-2000-KolikantBP
- The anthropology semaphores (YBDK, MBA, SP), pp. 21–24.
- STOC-1984-Willard #protocol
- Log-Logarithmic Protocols for Resolving Ethernet and Semaphore Conflicts (Preliminary Report) (DEW), pp. 512–521.
- SOSP-1973-Kosaraju #petri net
- Limitations of Dijkstra’s Semaphore Primitives and Petri Nets (SRK), pp. 122–136.