Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Brijesh Dongol
Admit Your Weakness: Verifying Correctness on TSO Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
What's Your Weakness?
British Medical Journal
Medicine
Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
TSO-to-TSO Linearizability Is Undecidable
Acta Informatica
Computer Networks
Software
Information Systems
Communications
TSO-CC: Consistency Directed Cache Coherence for TSO
AdMit
R Journal
Uncertainty
Numerical Analysis
Statistics
Probability
Political Correctness on David Mamet’s Oleanna
Journal of Advances in Humanities and Social Sciences
General Correctness: A Unification of Partial and Total Correctness
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Typical Operators Admit Common Cyclic Vectors
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Infranilmanifolds Which Admit Complex Contact Structures
European Journal of Mathematics
Mathematics
