Jaramillo, J. C., Frumin, D. & Pérez, J. A., sep-2024, 35th International Conference on
Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A.
(reds.). Schloss Dagstuhl--Leibniz-Zentrum für
Informatik, 19 blz. 30.
(Leibniz International Proceedings in Informatics, LIPIcs; vol.
311).
Francalanza, A., Pérez, J. A.
& Sánchez, C., feb-2018,
Lectures on Runtime Verification. Bartocci, E. &
Falcone, Y. (reds.). Springer, blz. 176-21035
blz.
Mordido, A. & Pérez, J. A.,
jun-2026, Formal Techniques for
Distributed Objects, Components, and Systems: 46th IFIP WG 6.1
International Conference, FORTE 2026, Held as Part of the 21st
International Federated Conference on Distributed Computing
Techniques, DisCoTec 2026, Urbino, Italy, June 8–12, 2026,
Proceedings. Bocchi, L. & Kulahcioglu Ozkan, B. (reds.).
Springer, blz. 179-19618 blz. (Lecture Notes in
Computer Science; vol. 16589).
Jaramillo, J. C. & Pérez, J. A., 25-jun-2025, 39th European Conference on
Object-Oriented Programming, ECOOP 2025. Aldrich, J. &
Silva, A. (reds.). Schloss Dagstuhl- Leibniz-Zentrum fur
Informatik GmbH, Dagstuhl Publishing, 29 blz. 17. (Leibniz International
Proceedings in Informatics, LIPIcs; vol. 333).
