Permission-based separation logic for multithreaded Java programs
The work
| Title | Permission-based separation logic for multithreaded Java programs |
|---|---|
| Authors | Afshin Amighi; Clément Hurlin; Marieke Huisman; Christian Haack |
| Type | article |
| Year | 2015 |
| Citekey | amighi2015permission |
Where it appeared
| Published in | Logical Methods in Computer Science |
|---|---|
| Volume | 11 |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | endorsed |
| Approved | 2026-08-07 |
Cite it as
@article{amighi2015permission,
title = {Permission-based separation logic for multithreaded Java programs},
author = {Afshin Amighi and Clément Hurlin and Marieke Huisman and Christian Haack},
year = {2015},
journal = {Logical Methods in Computer Science},
volume = {11},
}
This record lives at https://refs.drheap.org/amighi2015permission/ and will keep doing so.