10 citations · 30 across the 11 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2013★ 7 cited
A Static Analysis Framework for Livelock Freedom in CSP
Joel Ouaknine, Hristina Palikareva, A. W. Roscoe +1
In a process algebra with hiding and recursion it is possible to create processes which compute internally without ever communicating with their environment. Such processes are sai…
cs.LO2004
On model checking data-independent systems with arrays without reset
R. S. Lazic, T. C. Newcomb, A. W. Roscoe
A system is data-independent with respect to a data type X iff the operations it can perform on values of type X are restricted to just equality testing. The system may also store,…