UB Paderborn / Katalog / Suche / in CDI

Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings

1st ed. 2020., 2020

Link zum Volltext

Verfügbarkeit prüfen

Multi-shot distributed transaction commit

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

2021

Link zum Volltext

Verfügbarkeit prüfen

Analysing Snapshot Isolation

Journal of the ACM, 2018-03, Vol.65 (2), p.1-41

2018

Link zum Volltext

Verfügbarkeit prüfen

Linearizability with Ownership Transfer

Logical methods in computer science, 2013-09, Vol.9, Issue 3

2013

Link zum Volltext

Verfügbarkeit prüfen

Proceedings 11th Interaction and Concurrency Experience: Reasoning about Consistency Choices in Modern Distributed Systems

Electronic proceedings in theoretical computer science, 2018-10, Vol.279, p.3-3

Gotsman, Alexey

2018

Link zum Volltext

Verfügbarkeit prüfen

Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6. 1 International Conference, FORTE 2020, Held As Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings

1, 2020

Link zum Volltext

Verfügbarkeit prüfen

Making Byzantine consensus live

Distributed computing, 2022-12, Vol.35 (6), p.503-532

2022

Link zum Volltext

Verfügbarkeit prüfen

Specification and space complexity of collaborative text editing

Theoretical computer science, 2021-02, Vol.855, p.141-160

2021

Link zum Volltext

Verfügbarkeit prüfen

Characterizing Transactional Memory Consistency Conditions Using Observational Refinement

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

2018

Link zum Volltext

Verfügbarkeit prüfen

Characterizing Transactional Memory Consistency Conditions Using Observational Refinement

Journal of the ACM, 2018-01, Vol.65 (1), p.0

2018

Link zum Volltext

Verfügbarkeit prüfen

Modular verification of preemptive OS kernels

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

2013

Link zum Volltext

Verfügbarkeit prüfen

Linearizability with Ownership Transfer

CONCUR 2012 – Concurrency Theory, p.256-271

Link zum Volltext

Verfügbarkeit prüfen

Interprocedural Shape Analysis with Separated Heap Abstractions

Lecture notes in computer science, 2006, p.240-260

2006

Link zum Volltext

Verfügbarkeit prüfen

Verifying Concurrent Memory Reclamation Algorithms with Grace

Programming Languages and Systems, p.249-269

Link zum Volltext

Verfügbarkeit prüfen

A Generic Logic for Proving Linearizability

FM 2016: Formal Methods, p.426-443

Link zum Volltext

Verfügbarkeit prüfen

Composite Replicated Data Types

Programming Languages and Systems, p.585-609

Link zum Volltext

Verfügbarkeit prüfen

Parameterised Linearisability

Automata, Languages, and Programming, p.98-109

Link zum Volltext

Verfügbarkeit prüfen

Liveness-Preserving Atomicity Abstraction

Automata, Languages and Programming, p.453-465

Link zum Volltext

Verfügbarkeit prüfen

Proving Linearizability Using Partial Orders

Programming Languages and Systems, 2017, Vol.10201, p.639-667

Yang, Hongseok

2017

Link zum Volltext

Verfügbarkeit prüfen

Replicated data types: specification, verification, optimality

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on principles of programming languages, 2014, p.271-284

2014

Link zum Volltext

Verfügbarkeit prüfen

Transaction Chopping for Parallel Snapshot Isolation

Distributed Computing, 2015, Vol.9363, p.388-404

Moses, Yoram

2015

Link zum Volltext

Verfügbarkeit prüfen

Show No Weakness: Sequentially Consistent Specifications of TSO Libraries

Distributed Computing, p.31-45

Link zum Volltext

Verfügbarkeit prüfen

Local Reasoning for Storable Locks and Threads

Programming Languages and Systems, Vol.4807, p.19-37

Link zum Volltext

Verfügbarkeit prüfen

'Cause I'm strong enough: Reasoning about consistency choices in distributed systems

SIGPLAN notices, 2016-04, Vol.51 (1), p.371-384

2016

Link zum Volltext

Verfügbarkeit prüfen

Concurrent Library Correctness on the TSO Memory Model

Programming Languages and Systems, p.87-107

Link zum Volltext

Verfügbarkeit prüfen

Menü

Weitere Dienste

Einstellungen

Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings

Multi-shot distributed transaction commit

Analysing Snapshot Isolation

Linearizability with Ownership Transfer

Proceedings 11th Interaction and Concurrency Experience: Reasoning about Consistency Choices in Modern Distributed Systems

Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6. 1 International Conference, FORTE 2020, Held As Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings

Making Byzantine consensus live

Specification and space complexity of collaborative text editing

Characterizing Transactional Memory Consistency Conditions Using Observational Refinement

Characterizing Transactional Memory Consistency Conditions Using Observational Refinement

Modular verification of preemptive OS kernels

Linearizability with Ownership Transfer

Interprocedural Shape Analysis with Separated Heap Abstractions

Verifying Concurrent Memory Reclamation Algorithms with Grace

A Generic Logic for Proving Linearizability

Composite Replicated Data Types

Parameterised Linearisability

Liveness-Preserving Atomicity Abstraction

Proving Linearizability Using Partial Orders

Replicated data types: specification, verification, optimality

Transaction Chopping for Parallel Snapshot Isolation

Show No Weakness: Sequentially Consistent Specifications of TSO Libraries

Local Reasoning for Storable Locks and Threads

'Cause I'm strong enough: Reasoning about consistency choices in distributed systems

Concurrent Library Correctness on the TSO Memory Model

Suchergebnisse filtern