Folgen
Kristoffer Just Arndal Andersen
Kristoffer Just Arndal Andersen
Google
Bestätigte E-Mail-Adresse bei arndalandersen.dk
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–5