Communicating state transition systems for fine-grained concurrent resources
The work
| Title | Communicating state transition systems for fine-grained concurrent resources |
|---|---|
| Authors | Aleksandar Nanevski; Ruy Ley-Wild; Ilya Sergey; Germán Andrés Delbianco |
| Type | conference paper |
| Year | 2014 |
| Citekey | nanevski2014communicating |
Where it appeared
| Published in | 23rd European Symposium on Programming Languages and Systems (ESOP) |
|---|---|
| Publisher | Springer |
| Volume | 8410 |
| Pages | 290--310 |
Copy held
| Kind | PDF, 303.9 kB |
|---|---|
| Retrieved | 2026-08-07 |
| Held | local, for personal reference |
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
@inproceedings{nanevski2014communicating,
title = {Communicating state transition systems for fine-grained concurrent resources},
author = {Aleksandar Nanevski and Ruy Ley-Wild and Ilya Sergey and Germán Andrés Delbianco},
year = {2014},
booktitle = {23rd European Symposium on Programming Languages and Systems (ESOP)},
volume = {8410},
pages = {290--310},
publisher = {Springer},
}
This record lives at https://refs.drheap.org/nanevski2014communicating/ and will keep doing so.