Skip to content

arcalab/ccs-caos

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

CCS - Milner's Calculus of Communicating Systems

Simple animator of CCS's core terms. A snapshot of the compiled website can be found in the docs folder, and used online via the link below.

Caos

This project uses the Caos's framework. More information on it can be found online:

Requirements

  • JVM (>=1.8)
  • sbt

Compilation

You need to get the submodules dependencies (CAOS library), and later compile using ScalaJS. The result will be a JavaScript file that is already being imported by an existing HTML file.

  1. git submodule update --init
  2. sbt fastLinkJS
  3. open the file lib/tool/index.html