Fine-grained Concurrency with Separation Logic.
| Autor: | Kapoor, Kalpesh1 kalpesh@iitg.ernet.in, Lodaya, Kamal2 kamal@imsc.res.in, Reddy, Uday3 u.s.reddy@cs.bham.ac.uk |
|---|---|
| Zdroj: | Journal of Philosophical Logic. Oct2011, Vol. 40 Issue 5, p583-632. 50p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|