A formal framework for distributed cyber-physical systems.

Benjamin Lion Farhad Arbab Carolyn L. Talcott

Published in: J. Log. Algebraic Methods Program. (2022)

Keyphrases

cyber physical systems
lightweight
distributed systems
distributed environment
cyber physical
information systems
data management
information processing