Denotational and algebraic semantics for the CaIT calculus

DOI10.1007/978-3-031-17715-6_10MaRDI QIDQ6164471zbMATH OpenFDO

Authors Ningning Chen, Huibiao Zhu

Publication date 28 July 2023

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

Full work available at URL https://doi.org/10.1007/978-3-031-17715-6_10

zbMATH Keywords

algebraic semanticsdenotational semanticsIoTthe CaIT calculusUTP

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A process calculus for mobile ad hoc networks
• A semantic theory of the Internet of Things
• A structural approach to operational semantics
• scientific article; zbMATH DE number 3735102 (Why is no real title available?)
• Verification of sequential and concurrent programs

Cited in

(4)

• Denotational semantics in the cpo and metric approach
• scientific article; zbMATH DE number 2172806 (Why is no real title available?)
• A denotational semantics for Handel-C
• Denotational semantics of CSP

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6164471)