Login / Signup
Executable Specifications for Distributed Information Systems.
Kees M. van Hee
Lou J. Somers
Marc Voorhoeve
Published in:
ISCO (1989)
Keyphrases
</>
distributed information systems
formal specification
attribute grammars
control flow
information systems
distributed databases
data security
load balancing
model checking
databases
data driven
query optimization