Deciding eventual consistency for a simple class of relational transducer networks.

Tom J. Ameloot, Jan Van den Bussche

Browse the full ICDT paper archive.