Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
Verifying Indistinguishability of Privacy-Preserving Protocols
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1442-1469, Article 273
2023
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Safe replication through bounded concurrency verification
Proceedings of ACM on programming languages, 2018-11, Vol.2 (OOPSLA), p.1-27
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Historia: Refuting Callback Reachability with Message-History Logics
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1905-1934, Article 289
2023
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Mergeable replicated data types
Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-29
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Alone together: compositional reasoning and inference for weak isolation
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-34
2018
Volltextzugriff (PDF)
1 – 5 von 5
Suche als RSS-Feed
Aktive Filter
Nur zeigenGeprüft (Peer-Review)
Suchergebnisse filtern
Filter anzeigen