Modular Reasoning About Differential Privacy in a Probabilistic Process Calculus

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-41157-1_13
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Applying the Mu-Calculus in Planning and Reasoning About Action

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1998English

Modular Reasoning About Separation of Concurrent Data Structures

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

PriCL: Creating a Precedent, a Framework for Reasoning About Privacy Case Law

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Probabilistic Reasoning

1993English

A Probabilistic Logic Programming Event Calculus

Theory and Practice of Logic Programming
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceArtificial IntelligenceSoftware
2014English

Probabilistic Asynchronous Π-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Probabilistic Reasoning in Data Analysis

Science Signaling
BiochemistryCell BiologyMolecular Biology
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy