The RPC-Memory Specification Problem: UNITY+Refinement Calculus.
Rob T. UdinkJoost N. KokPublished in: Formal Systems Specification (1994)
Keyphrases
- formal language
- provably correct
- transition systems
- memory requirements
- memory usage
- process algebra
- database
- memory space
- high level
- refinement process
- low memory
- computational power
- random access
- distributed computing environment
- memory size
- formal verification
- query refinement
- specification language
- computing power
- formal methods
- formal specification
- associative memory
- user defined
- model checking
- data sets