The RPC-Memory Specification Problem - Problem Statement.

Manfred Broy Leslie Lamport

Published in: Formal Systems Specification (1994)

Keyphrases

memory requirements
high level
memory space
memory usage
database
provably correct
memory size
limited memory
memory capacity
low memory
asynchronous circuits
specification language
random access
computational power
main memory
case based reasoning
relational databases
machine learning
real time