5 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Benjamin Lion, Farhad Arbab, Carolyn Talcott
We introduce a transition system based specification of cyber-physical systems whose semantics is compositional with respect to a family of algebraic products. We give sufficient c…