In computer science, the join-calculus is a programming language based on the identically-named join-calculus process calculus. It is implemented as an interpreter written in Ocaml, and supports statically-typed distributed programming, transparent remote communication, agent-based mobility, and failure-detection.

PropertyValue
dbpprop:abstract
  • In computer science, the join-calculus is a programming language based on the identically-named join-calculus process calculus. It is implemented as an interpreter written in Ocaml, and supports statically-typed distributed programming, transparent remote communication, agent-based mobility, and failure-detection.
dbpprop:hasPhotoCollection
dbpprop:reference
rdfs:comment
  • In computer science, the join-calculus is a programming language based on the identically-named join-calculus process calculus. It is implemented as an interpreter written in Ocaml, and supports statically-typed distributed programming, transparent remote communication, agent-based mobility, and failure-detection.
rdfs:label
  • Join-calculus (programming language)
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of