6 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.LO2022★ 1 cited
A Formal Framework for Distributed Cyber-Physical Systems
Benjamin Lion, Farhad Arbab, Carolyn Talcott
Composition is an important feature of a specification language, as it enables the design of a complex system in terms of a product of its parts. Decomposition is equally important…
cs.SE2021★ 6 cited
A Semantic Model for Interacting Cyber-Physical Systems
Benjamin Lion, Farhad Arbab, Carolyn Talcott
We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes,…
eess.SY2021
A Semantic Model for Interacting Cyber-Physical Systems
Benjamin Lion, Farhad Arbab, Carolyn Talcott
We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes,…