4 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.DM2008★ 1 cited
The meaning of concurrent programs
Victor Yodaiken
The semantics of assignment and mutual exclusion in concurrent and multi-core/multi-processor systems is presented with attention to low level architectural features in an attempt…
cs.SE2008★ 4 cited
State and history in operating systems
Victor Yodaiken
A method of using recursive functions to describe state change is applied to process switching in UNIX-like operating systems.