Seguir
Kristoffer Just Arndal Andersen
Kristoffer Just Arndal Andersen
Google
E-mail confirmado em arndalandersen.dk
Título
Citado por
Citado por
Ano
Caper Automatic Verification for Fine-Grained Concurrency
T Dinsdale-Young, P da Rocha Pinto, KJ Andersen, L Birkedal
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
422017
Distributed Protocol Combinators
KJA Andersen, I Sergey
International Symposium on Practical Aspects of Declarative Languages, 169-186, 2019
62019
Protocol combinators for modeling, testing, and execution of distributed systems
KJA Andersen, I Sergey
Journal of Functional Programming 31, 2021
22021
Reducing lookups for invariant checking
JG Thomsen, C Clausen, KJ Andersen, J Danaher, E Ernst
European Conference on Object-Oriented Programming, 426-450, 2013
2013
Automatic Program Verification
KJA Andersen
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–5