<div class="rug-mask js--requires-cookie-consent-trigger"><div class="rug-warning--overlay rug-hidden rug-theme--content"><span class="rug-icon rug-icon--close rug-absolute rug-absolute--top-right rug-mt-xs rug-mr-xs rug-cursor--pointer js--requires-cookie-consent-close"/><div class="rug-notification--info rug-p js-id--alert"><span class="rug-icon rug-icon--warn rug-icon--xl rug-mr-s" aria-hidden="true"/><p>We need your permission for setting certain cookies to be able to show this content.</p><p>You can <button class="rug-inline-button js--cookie-consent-popup">change your cookie settings</button>.</p></div></div></div>
{
"requiresCookieConsentCheck": "true",
"checkedCookieConsent": "no",
"hasCookieConsent": "no"
}
Jaramillo, J. C. & Pérez, J. A., 25-Jun-2025, 39th European Conference on
Object-Oriented Programming, ECOOP 2025. Aldrich, J. &
Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur
Informatik GmbH, Dagstuhl Publishing, 29 p. 17. (Leibniz International
Proceedings in Informatics, LIPIcs; vol. 333).
Research output:Chapter in
Book/Report/Conference proceeding ›Conference contribution› Academic› peer-review
Jaramillo, J. C., Frumin, D. & Pérez, J. A., Sept-2024, 35th International Conference on
Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A.
(eds.). Schloss Dagstuhl--Leibniz-Zentrum für
Informatik, 19 p. 30.
(Leibniz International Proceedings in Informatics, LIPIcs; vol.
311).
Research output:Chapter in
Book/Report/Conference proceeding ›Conference contribution› Academic› peer-review
