Using temporal logics to specify and verify multi-step transactions in mobile environments
The advent of mobile and web technologies has given rise to unlimited numbers of concurrent users executing their transactions in databases in continuous streams. In order to prove correctness, a method of modelling the behaviour of such transactions is required. Most approaches to proving the corre...
Saved in:
| Main Author: | |
|---|---|
| Format: | Default Thesis |
| Published: |
2009
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/2134/36049 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|