Proving Atomicity: An Assertional Approach

Lecture Notes in Computer Science - Germany
doi 10.1007/11561927_13
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Causal Atomicity

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Hybrid Approach to Proving Memory Reference Monotonicity

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Interacting State Machines: A Stateful Approach to Proving Security

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Automated Atomicity-Violation Fixing

2011English

Modal Theorem Proving: An Equational Viewpoint

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1992English

Exploiting Purity for Atomicity

2004English

A Theorem Proving Approach for Automatically Synthesizing Visualizations of Flow Cytometry Data

BMC Bioinformatics
BiochemistryApplied MathematicsComputer Science ApplicationsStructural BiologyMolecular Biology
2017English

Customized Atomicity Specification for Transactional Workflows

English

A Unifying Approach for Proving Hook-Length Formulas for Weighted Tree Families

Graphs and Combinatorics
CombinatoricsTheoretical Computer ScienceDiscrete Mathematics
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy