[PDF] uni-saarland.de

[图书][B] On correctness of buffer implementations in a concurrent lambda calculus with futures

J Schwinghammer, D Sabel, J Niehren… - 2009 - ps.uni-saarland.de
Motivated by the question of correctness of a specific implementation of concurrent buffers in
the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and …
被引用次数：4 相关文章

On correctness of buffer implementations in a concurrent lambda calculus with futures

J Schwinghammer, D Sabel, J Niehren… - 2009 - publikationen.ub.uni-frankfurt.de
Motivated by the question of correctness of a specific implementation of concurrent buffers in
the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and …
[PDF] core.ac.uk

[PDF][PDF] On Correctness of Buffer Implementations in a Concurrent Lambda Calculus with Futures

J Schwinghammer, D Sabel, J Niehren… - 2009 - core.ac.uk
Motivated by the question of correctness of a specific implementation of concurrent buffers in
the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and …
[PDF] uni-saarland.de

[PDF][PDF] On Correctness of Buffer Implementations in a Concurrent Lambda Calculus with Futures

J Schwinghammer, D Sabel, J Niehren… - 2009 - ps.uni-saarland.de
Motivated by the question of correctness of a specific implementation of concurrent buffers in
the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and …
[PDF] researchgate.net

[PDF][PDF] On Correctness of Buffer Implementations in a Concurrent Lambda Calculus with Futures

J Schwinghammer, D Sabel, J Niehren… - 2009 - researchgate.net
Motivated by the question of correctness of a specific implementation of concurrent buffers in
the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and …
[PDF] psu.edu

[PDF][PDF] On Correctness of Buffer Implementations in a Concurrent Lambda Calculus with Futures

J Schwinghammer, D Sabel, J Niehren… - 2009 - Citeseer
Motivated by the question of correctness of a specific implementation of concurrent buffers in
the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and …
[PDF] psu.edu

[PDF][PDF] On Correctness of Buffer Implementations in a Concurrent Lambda Calculus with Futures

J Schwinghammer, D Sabel, J Niehren… - 2009 - Citeseer
Motivated by the question of correctness of a specific implementation of concurrent buffers in
the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and …

On correctness of buffer implementations in a concurrent lambda calculus with futures

J Schwinghammer, D Sabel, J Niehren… - 2009 - publikationen.ub.uni-frankfurt.de
Motivated by the question of correctness of a specific implementation of concurrent buffers in
the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and …
[PDF] uni-saarland.de

[PDF][PDF] On Correctness of Buffer Implementations in a Concurrent Lambda Calculus with Futures

J Schwinghammer, D Sabel, J Niehren… - 2009 - ps.uni-saarland.de
Motivated by the question of correctness of a specific implementation of concurrent buffers in
the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and …

[引用][C] On Correctness of Buffer Implementations in a Concurrent Lambda Calculus with Futures

J Schwinghammer, D Sabel, J Niehren… - 2009