From Sequential Specifications to Eventual Consistency.

Radha Jagadeesan James Riely

Published in: ICALP (2) (2015)

Keyphrases

artificial intelligence
formal specification
database systems
functional requirements
sequential search
databases
data mining
information retrieval
website
multiscale
multi agent
mobile robot
path consistency
delay insensitive