A Distributed Logic for Networked Cyber-Physical Systems
From MaRDI portal
Publication:2894562
DOI10.1007/978-3-642-29320-7_13zbMath1353.68265OpenAlexW1663945762MaRDI QIDQ2894562
Mark-Oliver Stehr, Min-Young Kim, Carolyn L. Talcott
Publication date: 29 June 2012
Published in: Fundamentals of Software Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-29320-7_13
Related Items
A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems, Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing, Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems
Uses Software