scientific article; zbMATH DE number 3956422
From MaRDI portal
Publication:3725533
zbMATH Open0594.68024MaRDI QIDQ3725533FDOQ3725533
Authors: Chaochen Zhou
Publication date: 1985
Title of this publication is not available (Why is that?)
Recommendations
verificationCSPspecificationformal semanticslogics of programssynchronous and asynchronous communications
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)