Denote CSP with temporal formulas

DOI10.1007/BF02946560zbMATH Open0728.68082OpenAlexW1982544739MaRDI QIDQ805250FDOQ805250

Authors: Chaochen Zhou, Xin Xin Liu 

Publication date: 1990

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02946560

Recommendations

• scientific article; zbMATH DE number 3956422
• scientific article; zbMATH DE number 3956416
• An operational semantics for timed CSP
• Denotational semantics of CSP
• Towards Algebraic Semantics of Circus Time

zbMATH Keywords

CSPconcurrent systemstemporal semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)

Cited In (1)

• Semantics of dynamic hiding in mobile UTP-CSP

This page was built for publication: Denote CSP with temporal formulas

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