scientific article; zbMATH DE number 3956422

zbMATH Open0594.68024MaRDI QIDQ3725533FDOQ3725533

Authors: Chaochen Zhou 

Publication date: 1985

Title of this publication is not available (Why is that?)

Recommendations

• Semantics of communicating processes
• scientific article; zbMATH DE number 3956416
• Denotational semantics of communicating sequential programs
• scientific article; zbMATH DE number 4112564
• scientific article; zbMATH DE number 4062561

zbMATH Keywords

verificationCSPspecificationformal semanticslogics of programssynchronous and asynchronous communications

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited In (16)

• Timed-pNets: a communication behavioural semantic model for distributed systems
• Enabling synchronous and asynchronous communications in CSP for SOC
• Sémantique asynchrone et comportements infinis en CPS
• Title not available (Why is that?)
• Synthesis of communicating process skeletons from temporal-spatial logic specifications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Denotational semantics of communicating sequential programs
• Semantics of communicating processes
• Observed Communication Semantics for Classical Processes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Temporal communication graphs: Lamport's process-time graphs augmented for the purpose of mapping and scheduling
• Denote CSP with temporal formulas
• Title not available (Why is that?)
• Temporal semantics for concurrent METATEM

This page was built for publication:

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