Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

JoCaml

JoCaml is an experimental functional programming language derived from OCaml. It integrates the primitives of the join-calculus to enable flexible… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Recently, there have been several studies focusing on the implementation of process calculi with distribution and mobility. Among… Expand
  • figure 1
2008
2008
  • E.N. Todoran
  • 4th International Conference on Intelligent…
  • 2008
  • Corpus ID: 15048359
In this paper we employ the mathematical methodology of metric semantics in designing and relating an operational and a… Expand
2007
2007
Cω extended C# 1.x with a simple, declarative and powerful model of concurrency – join patterns – applicable both to… Expand
2007
2007
JoCaml is a language for concurrent and distributed programming. We here present a non-trival distributed application written in… Expand
  • figure 3
  • figure 4
  • figure 5
2007
2007
JoCaml is a language for concurrent and distributed programming. We here present a non-trival distributed application written in… Expand
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1999
Highly Cited
1999
Jocaml is a system for mobile agents built inside the Objective-Caml language. Jocaml eases the development of concurrent… Expand
  • figure 1
  • figure 2
1999
1999
Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
1999
1999
Dissertacao de Doutoramento em Ciencia de Computadores apresentada a Faculdade de Ciencias da Universidade do Porto 
1999
1999
Join calculus, usually presented as a process calculus, is suitable as a foundation of both sequential and concurrent programming… Expand