A Semantic Model for Interacting Cyber-Physical Systems
- 2 October 2021
- journal article
- Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science
- Vol. 347, 77-95
- https://doi.org/10.4204/eptcs.347.5
Abstract
No abstract availableOther Versions
This publication has 18 references indexed in Scilit:
- Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent SystemsText, Speech, and Dialogue, 2015
- Cyber-Physical Systems and EventsPublished by Springer Science and Business Media LLC ,2008
- Abstract Behavior Types: a foundation model for components and their compositionScience of Computer Programming, 2005
- Hybrid I/O automataInformation and Computation, 2003
- Universal coalgebra: a theory of systemsTheoretical Computer Science, 2000
- Strictly causal functions have a unique fixed pointTheoretical Computer Science, 2000
- The temporal logic of actionsACM Transactions on Programming Languages and Systems, 1994
- Networks of real-time processesLecture Notes in Computer Science, 1993
- Defining livenessInformation Processing Letters, 1985
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955