A formal framework for distributed cyber-physical systems

DOI10.1016/J.JLAMP.2022.100795MaRDI QIDQ2168791zbMATH OpenOpenAlexWikidataFDO

Authors Benjamin Lion, Farhad Arbab, Carolyn Talcott

Publication date 26 August 2022

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2207.01048

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• A semantic model for interacting cyber-physical systems
• A semantic model for interacting cyber-physical systems
• scientific article; zbMATH DE number 2087508
• A Distributed Logic for Networked Cyber-Physical Systems
• Composition for component-based modeling

Cites work

• A coinductive calculus of component connectors.
• A compositional specification theory for component behaviours
• Active diagnosis of discrete-event systems
• An Algebraic Semantics for Contract-Based Software Components
• scientific article; zbMATH DE number 3856435 (Why is no real title available?)
• scientific article; zbMATH DE number 1412988 (Why is no real title available?)
• Process algebra for synchronous communication
• Real time process algebra with time-dependent conditions

Cited in

(4)

• A semantic model for interacting cyber-physical systems
• A Distributed Logic for Networked Cyber-Physical Systems
• A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems
• A semantic model for interacting cyber-physical systems

This page was built for publication: A formal framework for distributed cyber-physical systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2168791)