Join-calculus

Known as: Join calculus, Calculus (disambiguation), Join-calculus (programming language)

The join-calculus is a process calculus developed at INRIA. The join-calculus was developed to provide a formal basis for the design of distributed…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

Advanced concurrency abstractions overcome the drawbacks of low-level techniques such as locks and monitors, freeing programmers…

2013

In this Technical Report, we present a complete description of a delta-oriented software product line test model for component…

2011

With any structural inference rule A/B, we associate the rule \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage…

2006

2005

In this paper it has been studied the sequence of membership functions and of join spaces (see [7]), determined by a class of 1…

2004

2000

This paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a…

Review

1997

Review

1997

The join-calculus is a model for distributed programming languages with migratory features. It is an asynchronous process…

1997

The Blue Calculus is a direct extension of both the lambda and the pi calculi. In a preliminary work from Gerard Boudol, a simple…

1995

In intelligent database systems, knowledge directed inference often derives large amounts of data, and the efficiency of query…