Nieto, A., Daby-Seesaram, A.
, Gondelman, L., Timany, A. & Birkedal, L. (2023).
Modular Verification of State-Based CRDTs in Separation Logic. I K. Ali & G. Salvaneschi (red.),
37th European Conference on Object-Oriented Programming, ECOOP 2023 Artikel 22 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.ECOOP.2023.22
Nieto, A., Gondelman, L., Reynaud, A.
, Timany, A. & Birkedal, L. (2022).
Modular verification of op-based CRDTs in separation logic.
Proceedings of the ACM on Programming Languages ,
6(OOPSLA2), 1788-1816. Artikel 188.
https://doi.org/10.1145/3563351
Da Rocha Pinto, P.
, Dinsdale-Young, T., Gardner, P. & Sutherland, J. (2016).
Modular termination verification for non-blocking concurrency. I P. Thiemann (red.),
Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings (Bind 9632, s. 176-201). Springer.
https://doi.org/10.1007/978-3-662-49498-1_8
Nielsen, M. & Winskel, G. (1995).
Models for Concurrency. I S. Abramsky, D. M. Gabbay & T. S. E. Maibaum (red.),
Handbook of Logic in Computer Science: vol. 4: Semantic Modelling (s. 1-148). Oxford University Press.
Kristensen, L. M., Mechlenborg, P., Zhang, L., Mitchell, B. & Gallasch, G. (2006).
Model based Development of a Course of Action Scheduling Tool. I
Proc. of Seventh Workshop and Tutorial on Practical Use of Coloured Petri Netds and the CPN Tools (Bind 579, s. 1-16). Department of Computer Science, University of Aarhus.
Kristensen, L. M., Mechlenborg, P., Zhang, L., Mitchell, B. & Gallasch, G. E. (2008).
Model-based development of a course of action scheduling tool.
International Journal on Software Tools for Technology Transfer,
10(1), 5-14.
https://doi.org/10.1007/s10009-007-0053-y
Gratzer, D., Cavallo, E.
, Kavvos, G. A., Guatto, A.
& Birkedal, L. (2022).
Modalities and Parametric Adjoints.
ACM Transactions on Computational Logic,
23(3), Artikel 18.
https://doi.org/10.1145/3514241
Birkedal, L., Clouston, R., Mannaa, B., Ejlers Møgelberg, R., Pitts, A. M.
& Spitters, B. (2020).
Modal dependent type theory and dependent right adjoints.
Mathematical Structures in Computer Science,
30(2), 118-138.
https://doi.org/10.1017/S0960129519000197