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