Items where Author, Editor or other role is "Voinea, Adriana Laura"
Number of items: 2.
Bocchi, Laura, Lange, Julien, Thompson, Simon, Voinea, Laura (2022) A Model of Actors and Grey Failures. In: ter Beek, Maurice H. and Sirjani, Marjan, eds. Coordination Models and Languages. 24th IFIP WG 6.1 International Conference, COORDINATION 2022. Lecture Notes in Computer Science . Springer ISBN 978-3-031-08145-3. (doi:10.1007/978-3-031-08143-9_9) (KAR id:98300) |
Bocchi, Laura and Orchard, Dominic A. and Voinea, Laura A theory of protocol composition. Technical report. NA 10.48550/arXiv.2203.02461. (Unpublished) (doi:10.48550/arXiv.2203.02461) (KAR id:93297) |