Denotational and algebraic semantics for the CaIT calculus

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

Authors Ningning Chen, Huibiao Zhu 

Publication date 28 July 2023

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

zbMATH Keywords

denotational semanticsalgebraic semanticsUTPIoTthe CaIT calculus

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

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

Cited In (4)

• Denotational semantics in the cpo and metric approach
• A denotational semantics for Handel-C
• Denotational semantics of CSP
• Title not available (Why is no real title available?)

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)