Travelled to:1 × Estonia
1 × Spain
Collaborated with:B.Jonsson A.Bennaceur M.Isberner T.Chen M.Z.Kwiatkowska
Talks about:behaviour (2) synthesi (1) composit (1) ontolog (1) theori (1) specif (1) reason (1) mediat (1) compon (1) combin (1)
Person: Chris Chilton
DBLP: Chilton:Chris
Contributed to:
2013
2012Wrote 2 papers:
- SEFM-2013-BennaceurCIJ #automation #behaviour #ontology #reasoning #synthesis
- Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning (AB, CC, MI, BJ), pp. 274–288.
- ESOP-2012-ChenCJK #behaviour #component #composition #specification
- A Compositional Specification Theory for Component Behaviours (TC, CC, BJ, MZK), pp. 148–168.