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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Distributed computing, 2021-08, Vol.34 (4), p.301-318
2021
Volltextzugriff (PDF)

Analysing Snapshot Isolation
Journal of the ACM, 2018-03, Vol.65 (2), p.1-41
2018
Volltextzugriff (PDF)

Logical methods in computer science, 2013-09, Vol.9, Issue 3
2013
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2018-10, Vol.279, p.3-3
2018
Volltextzugriff (PDF)

Distributed computing, 2024-06, Vol.37 (2), p.177-205
2024
Volltextzugriff (PDF)

Making Byzantine consensus live
Distributed computing, 2022-12, Vol.35 (6), p.503-532
2022
Volltextzugriff (PDF)


Formal Techniques for Distributed Objects, Components, and Systems, 2020, Vol.12136, p.39-58
2020
Volltextzugriff (PDF)

Theoretical computer science, 2021-02, Vol.855, p.141-160
2021
Volltextzugriff (PDF)

Journal of the ACM, 2018-02, Vol.65 (1), p.1-44
2018
Volltextzugriff (PDF)

Open Access
White-Box Atomic Multicast
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2019, p.176-187
2019
Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems, 2020, Vol.12136, p.3-21
2020
Volltextzugriff (PDF)


Journal of functional programming, 2013-07, Vol.23 (4), p.452-514
2013
Volltextzugriff (PDF)

Open Access
Deep Statistical Model Checking
Formal Techniques for Distributed Objects, Components, and Systems, 2020, Vol.12136, p.96-114
2020
Volltextzugriff (PDF)

Proceedings of the 51st International Conference on Parallel Processing, 2022, p.1-11
2022
Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems, 2020, Vol.12136, p.169-186
2020
Volltextzugriff (PDF)

CONCUR 2012 – Concurrency Theory, 2012, p.256-271
2012
Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems, 2020, Vol.12136, p.208-224
2020
Volltextzugriff (PDF)

Lecture notes in computer science, 2006, p.240-260
2006
Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems, 2020, Vol.12136, p.59-77
2020
Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems, 2020, Vol.12136, p.227-235
2020
Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems, 2020, Vol.12136, p.22-38
2020
Volltextzugriff (PDF)

Open Access
On Implementable Timed Automata
Formal Techniques for Distributed Objects, Components, and Systems, 2020, Vol.12136, p.78-95
2020
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n