Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
JoCaml
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
2008
2008
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
2007
2007
JoCaml is a language for concurrent and distributed programming. We here present a non-trival distributed application written in… Expand
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
1999
1999
Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational… Expand
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