You need to enable JavaScript to run this app.
Linear-time--Branching-time Spectroscopy
Enter processes in ccs notation in order to compare them to each other
Process name
Process name
:
Process
Process
Process
Compare
Overview
New spectroscopy