Home /Research /Runtime Composition of Systems of Interacting Cyber-Physical Components
OTHER

Runtime Composition of Systems of Interacting Cyber-Physical Components

Benjamin Lion, Farhad Arbab, Carolyn Talcott

Year
2023
Citations
5

Keywords

Computer scienceCyber-physical systemRewritingSemantics (computer science)Theoretical computer scienceProgramming languageDistributed computingProcess calculusSet (abstract data type)Product (mathematics)

Related papers

Browse all OTHER papers