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