join-calculus

27 examples (0.03 sec)
  • Info The join-calculus is a process calculus developed at INRIA. more...
  • Join-languages are built on top of the join-calculus taken as a core language.
  • Thanks to the Join-calculus one location can be moved atomically to another site.
  • So the mobile agents can be use to match concurrency and distribution if we use the Join-calculus.
  • So the Join-calculus is the core of a distributed programming language.
  • More recently, an extension of the basic join calculus with methods which make agents proactive is come out.
  • These implementations do not change the underlying programming language but introduce join calculus operations through a custom library.
  • But with the join-calculus a problem with a location can be detected at any other running location, allowing error recovery.
  • The join-calculus programming language is based on the join-calculus process calculus.
  • So the distributed join-calculus treats channel names and location names as first class values with lexical scopes.
  • Join Java is a language based on the Java programming language allowing the use of the join calculus.
  • In computer science, the join-calculus is a programming language based on the identically-named join-calculus process calculus.
  • The Join Calculus is both a name passing calculus and a core language for concurrent and distributed programming.
  • This template is based on join-calculus and use pattern matching.
  • Join calculus, in contrast, has explicit synchronization based on a localized conjunction of events defined as reduction rules.
  • The overhead introduced in Join Java by the higher-level expressions derived from the Join calculus is manageable.
  • Join Java is a programming language based on the join-pattern that extends the standard Java programming language with the join semantics of the join-calculus.
  • The Join-calculus programming language (published in 1996) implemented local and distributed concurrent computations.
  • JoCaml is a version of OCaml extended with join-calculus primitives.
  • Next »