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

• A structural approach to operational semantics
• A process calculus for mobile ad hoc networks
• Verification of sequential and concurrent programs
• Title not available (Why is that?)
• A semantic theory of the Internet of Things

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 that?)

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)