Login / Signup
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol.
Charles Wallace
Guy Tremblay
José Nelson Amaral
Published in:
J. Univers. Comput. Sci. (2001)
Keyphrases
</>
state machine
state machines
high level
probabilistic model
finite state machines
computational model
load balancing
main memory
databases
wireless sensor networks
security model