19 citations · 92 across the 16 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 13 cited
A Compositional Framework for Preference-Aware Agents
Tobias Kappé, Farhad Arbab, Carolyn Talcott
A formal description of a Cyber-Physical system should include a rigorous specification of the computational and physical components involved, as well as their interaction. Such a…
cs.PL2016★ 1 cited
Data optimizations for constraint automata
Sung-Shik T. Q. Jongmans, Farhad Arbab
Constraint automata (CA) constitute a coordination model based on finite automata on infinite words. Originally introduced for modeling of coordinators, an interesting new applicat…