@misc{indiciae3a34fae9dd17,
  title = {Permission-Based Separation Logic for Message-Passing Concurrency},
  author = {Adrian Francalanza and Julian Rathke and Vladimiro Sassone},
  year = {2011},
  doi = {10.2168/lmcs-7(3:7)2011},
  url = {https://arxiv.org/abs/1106.5128},
  note = {Source identifier: 1106.5128}
}