Amanote Research
Register
Sign In
Dag-Calculus: A Calculus for Parallel Computation
doi 10.1145/2951913.2951946
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2016
Authors
Umut A. Acar
Arthur Charguéraud
Mike Rainey
Filip Sieczkowski
Publisher
ACM Press
Related search
A Lambda Calculus for Quantum Computation
SIAM Journal on Computing
Mathematics
Computer Science
Computation Calculus Bridging a Formalization Gap
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Lambda Calculus for Quantum Computation With Classical Control
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Pi+-Calculus: A Calculus for Concurrent Processes With Constraints
CLEI Electronic Journal
Stochastics Calculus: Malliavin Calculus in a Simplest Way
IOSR Journal of Mathematics
A Calculus for Local Reversibility
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Combining Situation Calculus and Event Calculus
Applications of White Noise Calculus to the Computation of Greeks
Communications on Stochastic Analysis
Statistics
Probability
Jackstone Calculus
Mayo Clinic Proceedings
Medicine