Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

CONCUR
2006
Springer

favoriteEmaildiscussreport

117views Distributed And Parallel Com...» more CONCUR 2006»

A Capability Calculus for Concurrency and Determinism

13 years 8 months ago

A Capability Calculus for Concurrency and Determinism

Download www.kb.ecei.tohoku.ac.jp

Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be partially confluent than previous approaches and is able to handle a mix of different kinds of communication channels, including shared reference cells.

Tachio Terauchi, Alex Aiken

Real-time Traffic

Capability Calculus | Channel-communicating Concurrent Processes | CONCUR 2006 | Distributed And Parallel Computing | Partial Confluence |

claim paper

Related Content

» Polymorphic Fractional Capabilities

» A Temporal Concurrent Constraint Programming Calculus

» A constraintoriented realtime process calculus

» Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes

» Inferring Channel Buffer Bounds Via Linear Programming

» Semantics for a RealTime ObjectOriented Programming Language

» On Implementing High Level Concurrency in Java

» A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems

» Temporal Concurrent Constraint Programming Denotation Logic and Applications

Post Info
More Details (n/a)

Added	20 Aug 2010
Updated	20 Aug 2010
Type	Conference
Year	2006
Where	CONCUR
Authors	Tachio Terauchi, Alex Aiken

Comments (0)