#
1383cba4 |
|
21-Oct-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Delete trailing whitespace in examples
|
#
8d83067c |
|
21-Oct-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove TABs from examples
|
#
b76f5f74 |
|
19-Sep-2018 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
Updated CCS example with some fixed definitions and other small changes
|
#
2c63c933 |
|
23-May-2018 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
[CCS] Added some further developments on `rooted contraction` (OBS_congr) - COARSEST_PRECONGR_FINITE: the "coarsest (pre)congruence contained in `contraction` for finite-state CCS - UNIQUE_SOLUTION_OF_ROOTED_CONTRACTION: a stronger version of UNIQUE_SOLUTION_OF_OBS_CONTRACTION
|
#
ef74e7a3 |
|
25-Oct-2017 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
[CCS] very late additions (coarsest precongruence contained in `contracts`)
|
#
16629a06 |
|
24-Oct-2017 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
[CCS] late developments with new theorems; fixed with K11 release; selftest added
|
#
021e8e62 |
|
08-Oct-2017 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
[CCS] further extensions of the CCS example (thesis project)
|