Cited By
View all- Barrett CCastle DHeijltjes WSobocinski PLago UEsparza J(2024)The Relational Machine CalculusProceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3661814.3662091(1-15)Online publication date: 8-Jul-2024
- Li RZhu HBanach R(2024)An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrencyJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2024.100973139(100973)Online publication date: Jun-2024
- Chen NZhu H(2024)A process calculus SMrCaIT for IoTJournal of Software: Evolution and Process10.1002/smr.259536:5Online publication date: 25-Apr-2024
- Show More Cited By