Virtually timed ambients: A calculus of nested virtualization.
Einar Broch JohnsenMartin SteffenJohanna Beate StumpfPublished in: J. Log. Algebraic Methods Program. (2018)
Keyphrases
- network access
- timed automata
- cloud computing
- virtual machine
- petri net
- model checking
- data center
- algebraic structure
- theorem proving
- distributed computing
- compositional semantics
- nested relations
- automated deduction
- hierarchical data
- theorem prover
- hierarchical structure
- query language
- real time
- discrete event
- first order logic
- provably correct
- computer algebra
- cloud computing environment
- databases
- database