Travelled to:1 × Germany
1 × Greece
Collaborated with:R.Bubel R.Hähnle J.Dovland O.Owe
Talks about:composit (1) languag (1) concurr (1) reason (1) deduct (1) verif (1) share (1) model (1) futur (1) about (1)
Person: Crystal Chang Din
DBLP: Din:Crystal_Chang
Contributed to:
2015
2012Wrote 2 papers:
- CADE-2015-DinBH #concurrent #deduction #modelling #named #verification
- KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS (CCD, RB, RH), pp. 517–526.
- SEFM-2012-DinDO #composition #reasoning
- Compositional Reasoning about Shared Futures (CCD, JD, OO), pp. 94–108.