Moscova Project

Join-Calcul implementations for UNIX platforms

Two implementations are currently available:

The join calculus language

Release 1.05

Warning: This release only works with the latest version of Objective-CAML version (3.00)

• Sources for UNIX platforms
• Reference manuals:
  • Postscript Version
  • DVI Version
  • HTML Version

Also available by ftp

• Sources for UNIX platforms
• Reference manuals:
  • Postscript Version
  • DVI Version
  • HTML Version
  • Text Version
  • Info Version

Release 1.04

Warning: This release only works with Objective-CAML version 2.00 to 2.99

• Sources for UNIX platforms
• Reference manuals:
  • Postscript Version
  • DVI Version
  • HTML Version

Also available by ftp

• Sources for UNIX platforms
• Reference manuals:
  • Postscript Version
  • DVI Version
  • HTML Version
  • Text Version
  • Info Version

Release 1.02

Warning: This release only works with Objective-CAML release 1.05

• Sources for UNIX platforms
• Reference manuals:
  • Postscript Version
  • DVI Version
  • HTML Version

The JoCaml system

For further informations on the Join-Calcul, take a quick look at its reference page.