Modular Reasoning About Separation of Concurrent Data Structures

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-37036-6_11
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Modular Reasoning About Differential Privacy in a Probabilistic Process Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Leveraging Weighted Automata in Compositional Reasoning About Concurrent Probabilistic Systems

ACM SIGPLAN Notices
Computer Science
2015English

Methods for Reasoning From Geometry About Anatomic Structures Injured by Penetrating Trauma

Journal of Biomedical Informatics
Computer Science ApplicationsHealth Informatics
2006English

Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources

SSRN Electronic Journal
2004English

Modular Reasoning for Actor Specification Diagrams

1999English

Aspect-Oriented Programming and Modular Reasoning

2005English

Reasoning About Justified Belief

2011English

Causal Reasoning About Quantities

1990English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy