Denotational and algebraic semantics for the CaIT calculus

DOI10.1007/978-3-031-17715-6_10MaRDI QIDQ6164471

Ningning Chen, Huibiao Zhu

Publication date: 28 July 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

algebraic semanticsdenotational semanticsUTPIoTthe CaIT calculus

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Verification of sequential and concurrent programs
• A process calculus for mobile ad hoc networks
• A semantic theory of the Internet of things
• A structural approach to operational semantics
• Unnamed Item

This page was built for publication: Denotational and algebraic semantics for the CaIT calculus