Login / Signup

An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol.

Charles WallaceGuy TremblayJosé 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