GitHub Sale: sign up for any paid plan this week and pay nothing until January 1, 2009!  [ hide ]

public
Fork of hst/hst
Description: An open-source refinement checker for the CSP process algebra
Homepage: http://dcreager.lighthouseapp.com/projects/9982-hst/overview
Clone URL: git://github.com/dcreager/hst.git
dcreager (author)
Sat May 31 15:47:26 -0700 2008
commit  4754d168e43124cb467c6c82b6333905bd208a7c
tree    59642ade03c96d586c6587f019e57d5df4e671cd
parent  fb172a05812c6f2ed5ffa44f088c5ab0f822a41a
hst / tests / refinement / 00-basic6.traces
100644 2 lines (1 sloc) 0.002 kb
1
2
1