A formal framework for distributed cyber-physical systems

DOI10.1016/j.jlamp.2022.100795OpenAlexW4286512931WikidataQ114159194 ScholiaQ114159194MaRDI QIDQ2168791

Benjamin Lion, Farhad Arbab, Carolyn L. Talcott

Publication date: 26 August 2022

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

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

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• A Compositional Specification Theory for Component Behaviours
• Process algebra for synchronous communication
• Active diagnosis of discrete-event systems
• An Algebraic Semantics for Contract-Based Software Components
• Recent Trends in Algebraic Development Techniques
• Real time process algebra with time-dependent conditions

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