Collaborated with:
J.E.Cook C.He
Talks about:
correspond (1) behavior (1) concurr (1) measur (1) model (1) time (1)
Person: Changjun Ma
DBLP: Ma:Changjun
Contributed to:
Wrote 1 papers:
- ICSM-2001-CookHM #behaviour #concurrent
- Measuring Behavioral Correspondence to a Timed Concurrent Model (JEC, CH, CM), pp. 332–341.