|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| EPTCS356.2 (In proceedings) | |
| Author(s) | Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Paola Giannini |
| Title | « Asynchronous Sessions with Input Races » |
| In | Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Munich, Germany, 3rd April 2022 |
| Series | Electronic Proceedings in Theoretical Computer Science |
| Editor(s) | Marco Carbone and Rumyana Neykova |
| Volume | 356 |
| Page(s) | 12-23 |
| Year | 2022 |
| Publisher | Open Publishing Association |
| BibTeX code |
@inproceedings{EPTCS356.2,
volume = {356},
author = {Castellani, Ilaria and Dezani-Ciancaglini, Mariangiola and Giannini,
Paola},
series = {Electronic Proceedings in Theoretical Computer Science},
booktitle = {{\rm Proceedings of the 13th International Workshop on}
Programming Language Approaches to Concurrency and
Communication-cEntric Software, {\rm Munich, Germany, 3rd April
2022}},
editor = {Carbone, Marco and Neykova, Rumyana},
title = {Asynchronous Sessions with Input Races},
publisher = {Open Publishing Association},
doi = {10.4204/EPTCS.356.2},
year = {2022},
pages = {12-23},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)