Travelled to:
1 × France
1 × India
Collaborated with:
G.Salaün R.Mateescu
Talks about:
process (2) quantifi (1) parallel (1) algebra (1) specif (1) model (1) debug (1) check (1) bpmn (1) use (1)
Person: Lina Ye
DBLP: Ye:Lina
Contributed to:
Wrote 2 papers:
- VMCAI-2015-SalaunY #algebra #debugging #process #specification
- Debugging Process Algebra Specifications (GS, LY), pp. 245–262.
- CBSE-2014-MateescuSY #model checking #parallel #process #using
- Quantifying the parallelism in BPMN processes using model checking (RM, GS, LY), pp. 159–168.