Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

13 relations
Chord (concurrency)Concurrent computingJavaJoCaml

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Programming in JoCaml --- Extended Version
JoCaml is a language for concurrent and distributed programming. We here present a non-trival distributed application written in… 
2007
2007
Coloured Reconfigurable Nets For Code Mobility Modeling
Code mobility technologies attract more and more developers and consumers. Numerous domains are concerned, many platforms are… 
2006
2006
Distributed Reactive XML
2006
2006
SCHOOL: a Small Chorded Object-Oriented Language
2005
2005
Analyse des systèmes mobiles par interprétation abstraite.
Un systeme mobile est un ensemble de composants qui peuvent interagir entre eux, tout en modifiant dynamiquement le systeme lui… 
2004
2004
Three dimensional reconstruction of the left ventricle based on the Delaunay triangulation
  • N. Souag
  • Proceedings of the Fourth IEEE International…
  • 2004
  • Corpus ID: 1502364
The aim of this paper is to develop software for three dimensional (3D) reconstruction of the left ventricle (LV) from two… 
2002
2002
Languages and Logics for Network Aware Programming
The increasing use of Internet and the wide spreading of the World Wide Web has stimulated the interest in distributed… 
1997
1997
Implicit Polymorphic Type System for the Blue Calculus
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
1995
A Framework for Join Pattern Indexing in Intelligent Database Systems
In intelligent database systems, knowledge directed inference often derives large amounts of data, and the efficiency of query… 
1985
1985
One flavor assumption and gamma-acyclicity for universal relation views
In a universal relation view queries are expressed without mentioning relation names and they are evaluated by using socalled… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)