Amanote Research

Amanote Research

    RegisterSign 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. AcarArthur CharguéraudMike RaineyFilip Sieczkowski
Publisher

ACM Press


Related search

A Lambda Calculus for Quantum Computation

SIAM Journal on Computing
MathematicsComputer Science
2004English

Computation Calculus Bridging a Formalization Gap

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

A Lambda Calculus for Quantum Computation With Classical Control

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2006English

Pi+-Calculus: A Calculus for Concurrent Processes With Constraints

CLEI Electronic Journal
1998English

Stochastics Calculus: Malliavin Calculus in a Simplest Way

IOSR Journal of Mathematics
2013English

A Calculus for Local Reversibility

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Combining Situation Calculus and Event Calculus

1995English

Applications of White Noise Calculus to the Computation of Greeks

Communications on Stochastic Analysis
StatisticsProbability
2013English

Jackstone Calculus

Mayo Clinic Proceedings
Medicine
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy