Login / Signup

A formal approach based on the rewriting logic for prototyping distributed information systems.

Ammar AttouiMichel Schneider
Published in: RSP (1994)
Keyphrases
  • distributed information systems
  • distributed databases
  • information systems
  • data security
  • load balancing
  • storage management
  • decision support
  • data structure
  • data analysis
  • expressive power
  • data integrity