Search results for "linearisability"

Found 15 publication records. Showing 15 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro 0001	Proving correctness of highly-concurrent linearisable objects.	PPoPP	2006	DBLP DOI BibTeX RDF	rely-guarantee reasoning, shared-memory concurrency, formal verification, concurrent programming, linearisability
33	Jaap-Henk Hoepman, John Tromp	Binary Snapshots.	WDAG	1993	DBLP DOI BibTeX RDF	waitfree implementations, shared memory, atomicity, snapshot, linearisability
32	Conrad Gstöttner, Bernd Kolar, Markus Schöberl	Necessary and sufficient conditions for the linearisability of two-input systems by a two-dimensional endogenous dynamic feedback.	Int. J. Control	2023	DBLP DOI BibTeX RDF
32	Andrzej S. Murawski, Nikos Tzevelekos	Higher-order linearisability.	J. Log. Algebraic Methods Program.	2019	DBLP DOI BibTeX RDF
32	Brijesh Dongol, Radha Jagadeesan, James Riely, Alasdair Armstrong	On abstraction and compositionality for weak-memory linearisability.	VMCAI	2018	DBLP DOI BibTeX RDF
32	Andrzej S. Murawski, Nikos Tzevelekos	Higher-Order Linearisability.	CONCUR	2017	DBLP DOI BibTeX RDF
32	Andrzej S. Murawski, Nikos Tzevelekos	Higher-Order Linearisability.	CoRR	2016	DBLP BibTeX RDF
32	Brijesh Dongol, John Derrick	Verifying Linearisability: A Comparative Survey.	ACM Comput. Surv.	2015	DBLP DOI BibTeX RDF
32	Andrea Cerone, Alexey Gotsman, Hongseok Yang	Parameterised Linearisability.	ICALP (2)	2014	DBLP DOI BibTeX RDF
32	Brijesh Dongol, John Derrick	Simplifying proofs of linearisability using layers of abstraction.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2013	DBLP DOI BibTeX RDF
32	Brijesh Dongol, John Derrick	Simplifying proofs of linearisability using layers of abstraction.	CoRR	2013	DBLP BibTeX RDF
32	Brijesh Dongol, John Derrick	Proving linearisability via coarse-grained abstraction	CoRR	2012	DBLP BibTeX RDF
32	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Verifying Linearisability with Potential Linearisation Points.	FM	2011	DBLP DOI BibTeX RDF
32	Issa Amadou Tall	Strict feedforward control systems, linearisability, and convergent normal forms.	Int. J. Control	2010	DBLP DOI BibTeX RDF
32	Foto N. Afrati, Manolis Gergatsoulis, Francesca Toni	Linearisability on datalog programs.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF

Displaying result #1 - #15 of 15 (100 per page; Change: )